[addendum to SynthesisContext, organised imports
martin.hofmann@uni-bamberg.de**20090416130004] hunk ./src/Syntax/Unifier.hs 24
-import Syntax.Terms
-
+import Context.SynthesisContext
+import Syntax.Terms 