diff --git a/smtLib.cabal b/smtLib.cabal
--- a/smtLib.cabal
+++ b/smtLib.cabal
@@ -1,5 +1,5 @@
 Name:           smtLib
-Version:        1.0.8
+Version:        1.0.9
 License:        BSD3
 License-file:   LICENSE
 Author:         Iavor S. Diatchki
diff --git a/src/SMTLib1/PP.hs b/src/SMTLib1/PP.hs
--- a/src/SMTLib1/PP.hs
+++ b/src/SMTLib1/PP.hs
@@ -1,6 +1,7 @@
 {-# LANGUAGE Safe #-}
 module SMTLib1.PP where
 
+import Prelude hiding ((<>))
 import SMTLib1.AST
 import Text.PrettyPrint
 
diff --git a/src/SMTLib2/PP.hs b/src/SMTLib2/PP.hs
--- a/src/SMTLib2/PP.hs
+++ b/src/SMTLib2/PP.hs
@@ -1,6 +1,7 @@
 {-# LANGUAGE Safe #-}
 module SMTLib2.PP where
 
+import Prelude hiding ((<>))
 import SMTLib2.AST
 import Text.PrettyPrint
 import Numeric