Pate.TraceTree: drop "tree hook" debug messages

GaloisInc · Feb 7, 2024 · c5558ab · c5558ab
1 parent 3fe7879
commit c5558ab
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/Pate/TraceTree.hs b/src/Pate/TraceTree.hs
@@ -1051,9 +1051,9 @@ startSomeTreeBuilder validRepr someTree@(SomeTraceTree ref f) = (IO.liftIO $ IO.
   StartTree -> do
     (tree, builder) <- IO.liftIO $ startTree @k
     IO.liftIO $ IO.writeIORef ref (SomeTraceTree' validRepr builder tree)
-    IO.liftIO $ IO.putStrLn "Starting tree hook.."
+    -- IO.liftIO $ IO.putStrLn "Starting tree hook.."
     IO.liftIO $ f tree
-    IO.liftIO $ IO.putStrLn "Started!"
+    -- IO.liftIO $ IO.putStrLn "Started!"
     return builder
   -- If a tree has already started we need to just throw it away and start again
   SomeTraceTree'{} -> do