Fix unit tests

runtimeverification · Aug 20, 2024 · 5862b70 · 5862b70
1 parent cdce88c
commit 5862b70
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/booster/unit-tests/Test/Booster/Pattern/ApplyEquations.hs b/booster/unit-tests/Test/Booster/Pattern/ApplyEquations.hs
@@ -154,7 +154,7 @@ test_simplifyPattern =
   where
     simpl t = do
         ns <- noSolver
-        runNoLoggingT $ fst <$> evaluatePattern simplDef Nothing ns mempty t
+        runNoLoggingT $ fst <$> evaluatePattern simplDef Nothing ns mempty NoCheckConstraintsConsistent t
     a = var "A" someSort
 
 test_simplifyConstraint :: TestTree