More stdlib/syntax.ml to smtml_prelude.ml

formalsec · Oct 4, 2024 · 231ab5f · 231ab5f
1 parent 09dd1a4
commit 231ab5f
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 3 deletions.
diff --git a/src/dune b/src/dune
@@ -1,5 +1,11 @@
 (include_subdirs unqualified)
 
+(library
+ (name smtml_prelude)
+ (public_name smtml.prelude)
+ (modules smtml_prelude)
+ (libraries prelude))
+
 (library
  (name smtml)
  (public_name smtml)
@@ -32,7 +38,6 @@
   solver
   solver_intf
   solver_dispatcher
-  syntax
   smtlib
   symbol
   statistics
@@ -42,13 +47,13 @@
   z3_mappings)
  (private_modules lexer parser)
  (flags
-  (:standard -open Prelude))
+  (:standard -open Smtml_prelude))
  (libraries
   dolmen
   hc
   menhirLib
   ocaml_intrinsics
-  prelude
+  smtml.prelude
   rusage
   patricia-tree
   yojson

diff --git a/src/stdlib/syntax.ml → src/smtml_prelude.ml b/src/stdlib/syntax.ml → src/smtml_prelude.ml
@@ -1,3 +1,5 @@
+include Prelude
+
 module Option = struct
   include Option