Dirty fix for newer GHC versions: removed dependency on smtlib and hid (<>) imports from Prelude

Author: fdedden

copilot-theorem.cabal

@@ -54,14 +54,14 @@ library
                           , xml
                           , random
                           , transformers
-                          , smtlib2 >= 0.3 && < 1.0
+                          -- , smtlib2 >= 0.3 && < 1.0
                           , ansi-terminal
 
   exposed-modules         : Copilot.Theorem
                           , Copilot.Theorem.Prove
                           , Copilot.Theorem.Kind2
                           , Copilot.Theorem.Prover.SMT
-                          , Copilot.Theorem.Prover.Z3
+                          -- , Copilot.Theorem.Prover.Z3
                           , Copilot.Theorem.Kind2.Prover
 
   other-modules           : Copilot.Theorem.Tactics

src/Copilot/Theorem/IL/PrettyPrint.hs

@@ -9,6 +9,8 @@ import Copilot.Theorem.IL.Spec
 import Text.PrettyPrint.HughesPJ
 import qualified Data.Map as Map
 
+import Prelude hiding ((<>))
+
 --------------------------------------------------------------------------------
 
 prettyPrint :: IL -> String

src/Copilot/Theorem/TransSys/PrettyPrint.hs

@@ -12,6 +12,8 @@ import Text.PrettyPrint.HughesPJ
 import qualified Data.Map   as Map
 import qualified Data.Bimap as Bimap
 
+import Prelude hiding ((<>))
+
 --------------------------------------------------------------------------------
 
 indent     = nest 4