From 3ef1dacba77d9549a244f2ef3154c221aa6284f3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tom=C3=A1=C5=A1=20Dac=C3=ADk?= <xdacik00@stud.fit.vutbr.cz>
Date: Wed, 19 Feb 2025 09:57:46 +0100
Subject: [PATCH] Fix

---
 src/solver/engine.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/solver/engine.ml b/src/solver/engine.ml
index c8c9f52..7408087 100644
--- 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;