GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-26 09:22:20 +03:00
Code Issues Projects Releases Wiki Activity

fix typo in comment

Browse Source
This commit is contained in:
Daniel Wagner 2020-01-13 22:10:17 -05:00
parent 8d275627ba
commit e5daa87dd0
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
symbolic/src/Data/Macaw/Symbolic/CrucGen.hs
View File

@ -355,7 +355,7 @@ data MacawStmtExtension (arch :: K.Type)
-> !(f (ToCrucibleType tp))
-> MacawStmtExtension arch f C.UnitType
-- | Write to memory id xonsiriob is true
-- | Write to memory if condition is true
MacawCondWriteMem
:: !(ArchAddrWidthRepr arch)
-> !(M.MemRepr tp)