[string cosmetics
martin.hofmann@uni-bamberg.de**20090507131405] hunk ./src/Context/ContextBuilder.hs 269
-instantiate a b           = fail $ "types do not unify" ++ (show (a,b))
+instantiate a b           = fail $ "types do not unify " ++ (show (a,b))