From 98ecc4763beb6c6213b26f4ddeb4d7850f8a7c08 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 9 Nov 2022 19:06:03 +0100
Subject: Implement a Config.ml file which groups all the global options in
 references

---
 compiler/dune | 1 +
 1 file changed, 1 insertion(+)

(limited to 'compiler/dune')

diff --git a/compiler/dune b/compiler/dune
index 0d340d59..85f4b75b 100644
--- a/compiler/dune
+++ b/compiler/dune
@@ -14,6 +14,7 @@
  (modules
   Assumed
   Collections
+  Config
   ConstStrings
   Contexts
   Cps
-- 
cgit v1.2.3