Fix: init ICtx in tests

ucsd-progsys · Sep 27, 2024 · 7db0376 · 7db0376
1 parent 3f079da
commit 7db0376
Showing 1 changed file with 7 additions and 6 deletions.
diff --git a/tests/tasty/SimplifyPLE.hs b/tests/tasty/SimplifyPLE.hs
@@ -32,10 +32,11 @@ simplify' = PLE.simplify emptyKnowledge emptyICtx
     emptyICtx :: PLE.ICtx
     emptyICtx =
       ICtx
-        { icAssms = S.empty, -- S.HashSet Pred
-          icCands = S.empty, -- :: S.HashSet Expr
-          icEquals = S.empty, -- :: EvAccum
-          icSimpl = SM.empty, -- :: !ConstMap
-          icSubcId = Nothing, -- :: Maybe SubcId
-          icANFs = []         -- :: [[(Symbol, SortedReft)]]
+        { icAssms = S.empty,      -- S.HashSet Pred
+          icCands = S.empty,      -- :: S.HashSet Expr
+          icEquals = S.empty,     -- :: EvAccum
+          icSimpl = SM.empty,     -- :: !ConstMap
+          icSubcId = Nothing,     -- :: Maybe SubcId
+          icANFs = [],            -- :: [[(Symbol, SortedReft)]]
+          icSMTRewrites = mempty  -- :: M.HashMap Symbol Expr
         }