GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-12-01 00:22:24 +03:00
Code Issues Projects Releases Wiki Activity

Whitespace error

Browse Source
This commit is contained in:
Luke Maurer 2018-06-26 11:35:50 -07:00
parent eaca69e13b
commit 3a44feda6a
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/TH.hs
View File

@ -108,7 +108,7 @@ instructionMatcher ltr ena ae lib archSpecificMatcher formulas operandResultType
ipVarName <- newName "ipVal" ipVarName <- newName "ipVal"
opcodeVar <- newName "opcode" opcodeVar <- newName "opcode"
operandListVar <- newName "operands" operandListVar <- newName "operands"
(libDefs, df) <- libraryDefinitions ltr ena ae (snd operandResultType) lib (libDefs, df) <- libraryDefinitions ltr ena ae (snd operandResultType) lib
(normalCases, bodyDefs) <- unzip <$> mapM (mkSemanticsCase ltr ena ae df ipVarName operandListVar operandResultType) (Map.toList formulas) (normalCases, bodyDefs) <- unzip <$> mapM (mkSemanticsCase ltr ena ae df ipVarName operandListVar operandResultType) (Map.toList formulas)
(fallthruNm, unimp) <- unimplementedInstruction (fallthruNm, unimp) <- unimplementedInstruction
fallthroughCase <- match wildP (normalB (appE (varE fallthruNm) (varE opcodeVar))) [] fallthroughCase <- match wildP (normalB (appE (varE fallthruNm) (varE opcodeVar))) []