From: Anders Mörtberg <andersmortberg@gmail.com>
Date: Sun, 10 Jun 2018 17:15:07 +0000 (-0400)
Subject: make cubicaltt compile with the latest version of GHC
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=67a221018bf91713c60ffcac3412f9bede3ef819;p=cubicaltt.git

make cubicaltt compile with the latest version of GHC
---

diff --git a/CTT.hs b/CTT.hs
index 3bc9e4c..21f8e9f 100644
--- a/CTT.hs
+++ b/CTT.hs
@@ -9,6 +9,7 @@ import qualified Data.Map as Map
 import Text.PrettyPrint as PP
 import Data.Set (Set)
 import qualified Data.Set as Set
+import Prelude hiding ((<>))
 
 import Connections