Missing change

Signed-off-by: Hernan Ponce de Leon <[email protected]>
hernanponcedeleon · Jan 18, 2024 · 1793a0c · 1793a0c
1 parent 38fa354
commit 1793a0c
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/dartagnan/src/main/java/com/dat3m/dartagnan/verification/model/ExecutionModel.java b/dartagnan/src/main/java/com/dat3m/dartagnan/verification/model/ExecutionModel.java
@@ -22,7 +22,6 @@
 import org.sosy_lab.common.configuration.InvalidConfigurationException;
 import org.sosy_lab.java_smt.api.BooleanFormula;
 import org.sosy_lab.java_smt.api.Formula;
-import org.sosy_lab.java_smt.api.FormulaManager;
 import org.sosy_lab.java_smt.api.Model;
 
 import java.math.BigInteger;
@@ -222,7 +221,6 @@ public void initialize(Model model, Filter eventFilter, boolean extractCoherence
         // their capacity in previous iterations and thus we should have less overhead in future populations)
         // However, for all intents and purposes, this serves as a constructor.
         this.model = model;
-        formulaManager = encodingContext.getFormulaManager();
         this.eventFilter = eventFilter;
         this.extractCoherences = extractCoherences;
         extractEventsFromModel();