From 598a00c1820f19532d877d92fa898c058fbbe1e6 Mon Sep 17 00:00:00 2001 From: Georgy Lukyanov Date: Tue, 20 Aug 2024 10:57:34 +0200 Subject: [PATCH] Fix unit tests --- booster/unit-tests/Test/Booster/Pattern/ApplyEquations.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/booster/unit-tests/Test/Booster/Pattern/ApplyEquations.hs b/booster/unit-tests/Test/Booster/Pattern/ApplyEquations.hs index 0aac1a2696..d869b45746 100644 --- 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