[fix compatibility with GHC 7.10
Helmut Grohne <grohne@cs.uni-bonn.de>**20150909123939
 Ignore-this: fb5fb9cbcd4a04e1e22b08f68ec84742
 
 The new Prelude exports (<$>) as part of Functor, but Igor2 uses the same name
 from Text.PrettyPrint.ANSI.Leijen in many places. The simplest way around is to
 hide the new Prelude symbol.
] hunk ./src/Igor2/Config.hs 13
+import Prelude hiding ((<$>))
+
hunk ./src/Igor2/Data/HypoSpace.hs 13
+import Prelude hiding ((<$>))
+
hunk ./src/Igor2/Data/Hypotheses.hs 17
-import Prelude
+import Prelude hiding ((<$>))
+
hunk ./src/Igor2/Data/IOData.hs 13
+import Prelude hiding ((<$>))
+
hunk ./src/Igor2/Data/IgorMonad.hs 27
+import Prelude hiding ((<$>))
hunk ./src/Igor2/Logging/Log.hs 10
+import Prelude hiding ((<$>))
+
hunk ./src/Igor2/Logging/Logger.hs 23
+import Prelude hiding ((<$>))
hunk ./src/Igor2/Ppr.hs 10
+import Prelude hiding ((<$>))
hunk ./src/Igor2/RuleDevelopment.hs 8
+import Prelude hiding ((<$>))
+
hunk ./src/Igor2/RuleDevelopment/Accumulator.hs 4
+import Prelude hiding ((<$>))
+
hunk ./src/Igor2/RuleDevelopment/Matching.hs 3
+import Prelude hiding ((<$>))
+
hunk ./src/Igor2/RuleDevelopment/Subfunction.hs 4
+import Prelude hiding ((<$>))
+
hunk ./src/Igor2/SynthesisEngine.hs 8
+import Prelude hiding ((<$>))
+
hunk ./src/Igor2/UI/UIStarter.hs 3
+import Prelude hiding ((<$>))
+
hunk ./src/Syntax/Class/Antiunifier.hs 16
+import Prelude hiding ((<$>))
+
hunk ./src/Syntax/Ppr.hs 8
+import Prelude hiding ((<$>))
+