[code cosmetics
martin.hofmann@uni-bamberg.de**20090128110400] hunk ./src/Data/IOData.hs 79
-            the search strategy. Same context -.> syme synthesised function 
+            the search strategy. Same context --> same synthesised function 
hunk ./src/Logging/Logger.hs 27
--- import Logging.PrettyPrinter
+
hunk ./src/Logging/Logger.hs 31
-import Language.Haskell.TH (Ppr(..), pprint, Dec, Exp, Pat, runQ, Name)
+import Language.Haskell.TH.Syntax (Quasi)
+import Language.Haskell.TH hiding (match)--(Ppr(..), pprint, Dec, Exp, Pat, runQ, Name)
hunk ./src/Main.hs 311
-igortest = startSynthesis balloonsDef [d||]
+igortest = startSynthesis revdef [d||]