change instansiating to be stateful

This commit is contained in:
Ilya Rezvov
2021-03-12 22:34:42 -08:00
parent 2451dc2ddc
commit f92754b572
+1 -1
View File
@@ -219,7 +219,7 @@ runScript onAssertFail script = do
if failureString `elem` getFailureString reason
then return ()
else
let msg = pos ++ ": Module is invalid for other reason. Expected "
let msg = "Module is invalid for other reason. Expected "
++ show failureString
++ ", but actual is "
++ show (getFailureString reason)