Changed WEBrak/WEEsc to store a CoreType

[coq-hetmet.git] / src / Extraction-prefix.hs

diff --git a/src/Extraction-prefix.hs b/src/Extraction-prefix.hs
index 595b8d1..28ea4f1 100644 (file)
--- a/src/Extraction-prefix.hs
+++ b/src/Extraction-prefix.hs
@@ -5,7 +5,6 @@ where
 --import TcType
 --import CoreFVs
 --import CoreUtils
---import MkCore
 --import Var
 --import BasicTypes
 --import Bag
@@ -13,6 +12,7 @@ where
 --import SrcLoc
 --import Data.List
 
+import qualified MkCore
 import qualified TysWiredIn
 import qualified TysPrim
 import qualified Outputable