summaryrefslogtreecommitdiff
path: root/compiler/dune
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--compiler/dune1
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/dune b/compiler/dune
index 6785cad4..db099c3c 100644
--- a/compiler/dune
+++ b/compiler/dune
@@ -12,6 +12,7 @@
(pps ppx_deriving.show ppx_deriving.ord visitors.ppx))
(libraries charon core_unix unionFind ocamlgraph)
(modules
+ AssociatedTypes
Assumed
Collections
Config