GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-12-26 23:52:48 +03:00
Code Issues Projects Releases Wiki Activity

Fixed a bug I introduced because of a delete in the wrong buffer

Browse Source
This commit is contained in:
Ben Selfridge 2018-01-05 14:23:11 -08:00
parent 3c3ffbc375
commit 5cf4c68498
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
macaw-semmc/src/Data/Macaw/SemMC/Generator.hs
View File

@ -261,7 +261,7 @@ liftST = Generator . lift . lift . lift
-- | Append an assignment statement to the list of statements in the current
-- 'PreBlock'
addAssignment :: AssignRhs arch ids tp
addAssignment :: AssignRhs arch (Value arch ids) tp
-> Generator arch ids s (Assignment arch ids tp)
addAssignment rhs = do
l <- newAssignId