Add dolmen_type as a library in src

formalsec · Oct 9, 2024 · a727d17 · a727d17
1 parent 5ed4bed
commit a727d17
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/dune b/src/dune
@@ -53,6 +53,7 @@
   (:standard -open Smtml_prelude))
  (libraries
   dolmen
+  dolmen_type
   hc
   menhirLib
   ocaml_intrinsics