1 files changed, 11 insertions, 0 deletions
diff --git a/src/elaborator/dune b/src/elaborator/dune
new file mode 100644
index 0000000..46227f0
--- /dev/null
+++ b/src/elaborator/dune
@@ -0,0 +1,11 @@
+(library
+ (name Elaborator)
+ (public_name toytt.elaborator)
+ (libraries
+  algaeff
+  bwd
+  toytt.ast
+  toytt.ident
+  toytt.nbe
+  toytt.pretty
+  toytt.reporter))