Skip to content

Commit

Permalink
more helpful error message
Browse files Browse the repository at this point in the history
  • Loading branch information
MaximilianAlgehed committed Mar 8, 2022
1 parent 8d4daa1 commit 609d07d
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -1581,7 +1581,7 @@ checkBalances s envOuter = Map.foldrWithKey (\ w sval p -> walletFundsChange w s
tokenMap <- Map.lookup innerVar envInner
Map.lookup idx tokenMap
lookup st = case lookupMaybe st of
Nothing -> error $ "Trying to look up unknown symbolic token: " ++ show st ++ ",\ndid you forget to check that tokens exist in your preconditions?"
Nothing -> error $ "Trying to look up unknown symbolic token: " ++ show st ++ ",\nare you using a custom implementation of getAllSymtokens? If not, please report this as a bug."
Just tok -> tok
dlt = toValue lookup sval
initialValue = fold (dist ^. at w)
Expand Down

0 comments on commit 609d07d

Please sign in to comment.