From e94cd72ffa63dbc5fc40c7c1a422c1a70ba4a7e5 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 21 Nov 2023 13:55:46 +0100
Subject: Add an `is_local` field to declarations

---
 compiler/dune | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'compiler/dune')

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)))
-- 
cgit v1.2.3