Comment out full hint
authorJoachim Breitner <mail@joachim-breitner.de>
Thu, 5 Jul 2012 21:50:59 +0000 (23:50 +0200)
committerJoachim Breitner <mail@joachim-breitner.de>
Thu, 5 Jul 2012 21:50:59 +0000 (23:50 +0200)
Main.hs

diff --git a/Main.hs b/Main.hs
index b0e1290..92df3fd 100644 (file)
--- a/Main.hs
+++ b/Main.hs
@@ -355,8 +355,9 @@ runBritney config = do
                 if transSize config == ManySmall
                 then do
                     hPutStrLn h $ "# Full hint:"
+                    L.hPut h $ "# "
                     L.hPut h $ generateHints aiD testing builtBy newAtomIs
-                    hPutStrLn h $ "# Small hints:"
+                    hPutStrLn h $ "# Individual hints:"
                     forM_ smallTransitions $ \thisTransitionNewAtomsIs-> 
                         L.hPut h $ generateHints aiD testing builtBy thisTransitionNewAtomsIs
                     hFlush h