Merge pull request #282 from GaloisInc/vr/obsolete-formatting

remove obsolete formatting
GaloisInc · Aug 11, 2023 · dfa74cd · dfa74cd
2 parents cfd1362 + 9ed581f
commit dfa74cd
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/src/Reopt/Events.hs b/src/Reopt/Events.hs
@@ -380,24 +380,24 @@ printLogEvent event = do
         case s of
           Discovery ->
             unlines $
-              [ printf "  Block 0x%x: %s" (discErrorBlockAddr de) (show (discErrorMessage de))
+              [ printf "Block 0x%x: %s" (discErrorBlockAddr de) (show (discErrorMessage de))
               | de <- e
               ]
-                ++ ["  Incomplete."]
+                ++ ["Incomplete."]
           InvariantInference ->
             printf
-              "  Block: 0x%x: %s"
+              "Block: 0x%x: %s"
               (segoffWord64 (ruBlock e))
               (ppRegisterUseErrorReason (ruReason e))
           Recovery ->
             printf
-              "  Failed (0x%x:%d, %s): %s"
+              "Failed (0x%x:%d, %s): %s"
               (segoffWord64 (recoverErrorBlock e))
               (recoverErrorInsnIndex e)
               (ppReoptErrorTag (recoverErrorTag e))
               (recoverErrorMessage e)
           AnnotationGeneration ->
-            printf "  %s" e
+            printf "%s" e
     ReoptFunStepLog _st _f msg ->
       logStep msg
     ReoptFunStepAllFinished _ _ ->