Fix unit tests

runtimeverification · Aug 21, 2024 · 598a00c · 598a00c
1 parent 998eb07
commit 598a00c
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