merge proof correction

[coq-hetmet.git] / examples / Unflattening.hs

diff --git a/examples/Unflattening.hs b/examples/Unflattening.hs
index f9ca4ba..6dfbf78 100644 (file)
--- a/examples/Unflattening.hs
+++ b/examples/Unflattening.hs
@@ -2,7 +2,7 @@
 module Unflattening
 where
 import GHC.HetMet.CodeTypes hiding ((-))
-import GHC.HetMet.GArrow
+import Control.GArrow
 import Control.Category
 import Control.Arrow
 import Prelude hiding ( id, (.) )