[prettier printing
martin.hofmann@uni-bamberg.de**20090218121954] hunk ./src/Logging/PrettyPrinter.hs 64
-                return $ indent 6 (text "HYPOTHESE" <+> int i <+> text "of" <+> int j<> colon) <$$>
+                return $ indent 6 (text "- - - - - HYPOTHESE" <+> int i <+> 
+                                   text "of" <+> int j <+> text "- - - - -") <$$>