diff --git a/Codec/TPTP/Base.hs b/Codec/TPTP/Base.hs
index 89d8521..72c415e 100644
--- a/Codec/TPTP/Base.hs
+++ b/Codec/TPTP/Base.hs
@@ -7,14 +7,6 @@
 
 module Codec.TPTP.Base where
 
-#ifndef MIN_VERSION_transformers
-#define MIN_VERSION_transformers(a,b,c) 1
-#endif
-#ifndef MIN_VERSION_base
-#define MIN_VERSION_base(a,b,c) 1
-#endif
--- Assume we are using the newest versions when using ghci without cabal
-
 import Codec.TPTP.QuickCheck
 import Control.Applicative
 import Control.Monad
diff --git a/Codec/TPTP/Diff.hs b/Codec/TPTP/Diff.hs
index 29f0927..9cf4c26 100644
--- a/Codec/TPTP/Diff.hs
+++ b/Codec/TPTP/Diff.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE CPP, NoMonomorphismRestriction, RecordWildCards
+{-# LANGUAGE NoMonomorphismRestriction, RecordWildCards
   , StandaloneDeriving, MultiParamTypeClasses, FunctionalDependencies
   , TypeSynonymInstances, FlexibleInstances, FlexibleContexts
   , UndecidableInstances, DeriveDataTypeable, GeneralizedNewtypeDeriving
diff --git a/Codec/TPTP/Pretty.hs b/Codec/TPTP/Pretty.hs
index 0dd4e7f..9c97504 100644
--- a/Codec/TPTP/Pretty.hs
+++ b/Codec/TPTP/Pretty.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE CPP, NoMonomorphismRestriction, RecordWildCards
+{-# LANGUAGE NoMonomorphismRestriction, RecordWildCards
   , StandaloneDeriving
   , TypeSynonymInstances, FlexibleInstances, FlexibleContexts
   , UndecidableInstances, DeriveDataTypeable, GeneralizedNewtypeDeriving