From 9ed581ffbdc9104b6f885209e97c2bcdbac08e23 Mon Sep 17 00:00:00 2001
From: Valentin Robert <val@galois.com>
Date: Fri, 11 Aug 2023 16:27:45 -0700
Subject: [PATCH] remove obsolete formatting

---
 src/Reopt/Events.hs | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/Reopt/Events.hs b/src/Reopt/Events.hs
index d36f5d83..60c5216a 100644
--- 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 _ _ ->