X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=src%2FExtraction-prefix.hs;h=28ea4f1583defa8e09edc6ca9e6a5ba4b6cdeff6;hp=595b8d1ac3adc999283a68d5328c003977998766;hb=703bff3b209bd7d114b49cb736da8af167a4ec71;hpb=5a0761840d89b82cdacb0bf9215fd41aba847b68

diff --git a/src/Extraction-prefix.hs b/src/Extraction-prefix.hs
index 595b8d1..28ea4f1 100644
--- 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