[remove unused language extensions
Helmut Grohne <grohne@cs.uni-bonn.de>**20150122122748
 Ignore-this: 8f2921561470caa93a4e9162ecd49d71
 
  * Remove all uses of TypeSynonymInstances.
  * Remove some uses of TemplateHaskell.
] hunk ./src/Igor2/Data/HypoSpace.hs 1
-{-# OPTIONS_GHC #-}
hunk ./src/Igor2/Logging/Logger.hs 1
-{-# OPTIONS_GHC -XFlexibleContexts -XTemplateHaskell  -XTypeSynonymInstances #-}
-{-# OPTIONS_GHC -XMultiParamTypeClasses #-}
-{-# OPTIONS_GHC -XFlexibleInstances #-}
-module Igor2.Logging.Logger 
+{-# LANGUAGE FlexibleContexts #-}
+{-# LANGUAGE MultiParamTypeClasses #-}
+{-# LANGUAGE FlexibleInstances #-}
+module Igor2.Logging.Logger
hunk ./src/Igor2/Ppr.hs 1
-{-# OPTIONS_GHC -XTemplateHaskell  -XTypeSynonymInstances #-}
hunk ./src/Main.hs 1
-{-# OPTIONS_GHC -XTemplateHaskell   #-}
hunk ./src/Syntax/Class/Antiunifier.hs 1
-{-# OPTIONS_GHC -XTemplateHaskell -XTypeSynonymInstances #-}
hunk ./src/Syntax/Class/Term.hs 1
-{-# OPTIONS_GHC -XTemplateHaskell  -XTypeSynonymInstances #-}
hunk ./src/Syntax/Class/Unifier.hs 1
-{-# OPTIONS_GHC -XTemplateHaskell  -XTypeSynonymInstances #-}
hunk ./src/Syntax/Specification.hs 1
-{-# OPTIONS_GHC -XTemplateHaskell #-}