From 59596561873162d632f3d3091485b32a76427ee9 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 25 Nov 2022 08:13:37 +0100
Subject: Start implementing support for loops

---
 compiler/dune | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'compiler/dune')

diff --git a/compiler/dune b/compiler/dune
index b825ef7e..9e92b583 100644
--- a/compiler/dune
+++ b/compiler/dune
@@ -10,7 +10,7 @@
  (public_name aeneas) ;; The name as revealed to the projects importing this library
  (preprocess
   (pps ppx_deriving.show ppx_deriving.ord visitors.ppx))
- (libraries charon core_unix)
+ (libraries charon core_unix unionFind)
  (modules
   Assumed
   Collections
@@ -29,6 +29,7 @@
   InterpreterExpansion
   InterpreterExpressions
   Interpreter
+  InterpreterLoops
   InterpreterPaths
   InterpreterProjectors
   InterpreterStatements
-- 
cgit v1.2.3