Skip to content

Commit

Permalink
Update src/Act/Decompile.hs
Browse files Browse the repository at this point in the history
  • Loading branch information
d-xo authored Aug 6, 2024
1 parent d3b0b22 commit c2942b5
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion src/Act/Decompile.hs
Original file line number Diff line number Diff line change
Expand Up @@ -266,7 +266,6 @@ mkBehvs c = concatMapM (\(i, bs) -> mapM (mkbehv i) (Set.toList bs)) (Map.toList
}
mkbehv _ _ = error "Internal Error: mkbehv called on a non Success branch"

-- TODO: we probably need to diff against the prestore or smth to be sound here
mkRewrites :: Text -> DistinctStore -> Either Text [StorageUpdate]
mkRewrites cname (DistinctStore writes) = forM (Map.toList writes) $ \(name,(val,typ)) ->
case typ of
Expand Down

0 comments on commit c2942b5

Please sign in to comment.