diff options
| author | Son Ho | 2023-11-21 13:55:46 +0100 |
|---|---|---|
| committer | Son Ho | 2023-11-21 13:55:46 +0100 |
| commit | e94cd72ffa63dbc5fc40c7c1a422c1a70ba4a7e5 (patch) | |
| tree | 922f6bbd6d3bdc6af2f1d351dd3d4104861cfc5c /compiler/dune | |
| parent | f852e1a1334b7506c0baf366b9e75cd01b9c843e (diff) | |
Add an `is_local` field to declarations
Diffstat (limited to 'compiler/dune')
| -rw-r--r-- | compiler/dune | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/dune b/compiler/dune index 4bba6a08..0d0a8017 100644 --- a/compiler/dune +++ b/compiler/dune @@ -84,7 +84,7 @@ -g ;-dsource -warn-error - -5@8-9-11-14-33-20-21-26-27-39)) + -5@8-11-14-33-20-21-26-27-39)) (release (flags :standard @@ -92,4 +92,4 @@ -g ;-dsource -warn-error - -5@8-9-11-14-33-20-21-26-27-39))) + -5@8-11-14-33-20-21-26-27-39))) |