Bring back z3_mappings2

formalsec · Jun 12, 2024 · 4aa7334 · 4aa7334
1 parent 57c7b3b
commit 4aa7334
Show file tree

Hide file tree

Showing 3 changed files with 305 additions and 321 deletions.
diff --git a/lib/dune b/lib/dune
@@ -38,8 +38,8 @@
   ty
   utils
   value
-  z3_mappings)
- ;  z3_mappings2)
+  z3_mappings
+  z3_mappings2)
  (private_modules lexer parser)
  (libraries
   hc