From 3a44feda6ac3740fdc0248fdc1fe762664891ad7 Mon Sep 17 00:00:00 2001 From: Luke Maurer Date: Tue, 26 Jun 2018 11:35:50 -0700 Subject: [PATCH] Whitespace error --- macaw-semmc/src/Data/Macaw/SemMC/TH.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/macaw-semmc/src/Data/Macaw/SemMC/TH.hs b/macaw-semmc/src/Data/Macaw/SemMC/TH.hs index d5770985..38ab5bfc 100644 --- a/macaw-semmc/src/Data/Macaw/SemMC/TH.hs +++ b/macaw-semmc/src/Data/Macaw/SemMC/TH.hs @@ -108,7 +108,7 @@ instructionMatcher ltr ena ae lib archSpecificMatcher formulas operandResultType ipVarName <- newName "ipVal" opcodeVar <- newName "opcode" 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) (fallthruNm, unimp) <- unimplementedInstruction fallthroughCase <- match wildP (normalB (appE (varE fallthruNm) (varE opcodeVar))) []