[typos
martin.hofmann@uni-bamberg.de**20090416130338] hunk ./src/UI/IOTypeCheck.hs 13
-        Failed    -> return False    
+        Failed    -> return False
hunk ./src/UI/IOTypeCheck.hs 15
--- TODO this is not nice. I would prfer to catch the error myself and not get a
+-- TODO this is not nice. I would prefer to catch the error myself and not get a