use the cached solver mode

OCamlPro · Feb 21, 2025 · 0df34b2 · 0df34b2
1 parent a1767d8
commit 0df34b2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/symbolic/solver.ml b/src/symbolic/solver.ml
@@ -10,7 +10,7 @@ let fresh solver () =
   let module Mapping = (val Smtml.Solver_dispatcher.mappings_of_solver solver)
   in
   let module Mapping = Mapping.Fresh.Make () in
-  let module Batch = Smtml.Solver.Batch (Mapping) in
+  let module Batch = Smtml.Solver.Cached (Mapping) in
   let solver = Batch.create ~logic:QF_BVFP () in
   S ((module Batch), solver)