[trivia
martin.hofmann@uni-bamberg.de**20091007092503] hunk ./src/Data/CallDependencies.hs 115
-       else fail $ (\s -> (trace s) s ) $ "Call "++ (show c) ++ " not admissible in " ++ (show cd)
+       else fail $ "Call "++ (show c) ++ " not admissible in " ++ (show cd)
hunk ./src/Data/IOData.hs 22
-import Data.Maybe (listToMaybe, fromJust)
+import Data.Maybe (listToMaybe)
hunk ./src/UI/UIStarter.hs 237
-    test d i = do r <- interprete (ctxtFile s) $ prepare (d !! (i-1)) e
+    test d i = do r <- (interprete (ctxtFile s) $ prepare (d !! (i-1)) e) 
hunk ./src/UI/UIStarter.hs 333
-    (red . text $ "UNCAUGHT ERROR: " ++ msg)
+    (red . text $ "UNCAUGHT ERROR: " ++ msg ++ "\n")
hunk ./src/UI/UIStarter.hs 346
-                     indent 17 (bold (text "HYPOTHESE" <+> int i <+> 
+                     indent 17 (bold (text "HYPOTHESIS" <+> int i <+> 