diff --git a/smtLib.cabal b/smtLib.cabal
--- a/smtLib.cabal
+++ b/smtLib.cabal
@@ -1,5 +1,5 @@
 Name:           smtLib
-Version:        1.0.5
+Version:        1.0.6
 License:        BSD3
 License-file:   LICENSE
 Author:         Iavor S. Diatchki
diff --git a/src/SMTLib1.hs b/src/SMTLib1.hs
--- a/src/SMTLib1.hs
+++ b/src/SMTLib1.hs
@@ -26,8 +26,10 @@
   , logic
   , assume
   , goal
+
+  , PP(..)
   ) where
 
 import SMTLib1.AST
-import SMTLib1.PP()
+import SMTLib1.PP
 
diff --git a/src/SMTLib2.hs b/src/SMTLib2.hs
--- a/src/SMTLib2.hs
+++ b/src/SMTLib2.hs
@@ -17,8 +17,10 @@
   , InfoFlag(..)
 
   , app
+
+  , PP(..)
   ) where
 
 import SMTLib2.AST
-import SMTLib2.PP()
+import SMTLib2.PP