test: fix compilation error

ethereum · Nov 8, 2023 · ad1f532 · ad1f532
1 parent 9d93ad5
commit ad1f532
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/test/Test.hs b/src/test/Test.hs
@@ -73,7 +73,7 @@ defaultStore :: Id -> Store
 defaultStore c = fromList [(c,fromList [])]
 
 defaultCtor :: Id -> Constructor
-defaultCtor c = Constructor {_cname = c, _cinterface = Interface c [], _cpreconditions = [], _cpostconditions = [], _invariants = [], _initialStorage = [], _cstateUpdates = []}
+defaultCtor c = Constructor {_cname = c, _cinterface = Interface c [], _cpreconditions = [], _cpostconditions = [], _invariants = [], _initialStorage = []}
 
 
 typeCheckSMT :: Solver -> GenT (Reader Bool) Property