Fix

TDacik · Feb 19, 2025 · 3ef1dac · 3ef1dac
1 parent 23d2c9d
commit 3ef1dac
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/solver/engine.ml b/src/solver/engine.ml
@@ -35,7 +35,7 @@ let solve (input : Context.t) =
   | Error reason -> Context.set_result (`Unknown reason) input
   | Ok () ->
     Profiler.add "Normalisation";
-    let sm = SmallModels.compute !SID.dg input.phi in
+    let sm = SmallModels.compute !SID.dg (*input.phi*) in
     Profiler.add "Small-models";
     SID.cache := sm;