merge proof correction

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

diff --git a/examples/GArrowTutorial.hs b/examples/GArrowTutorial.hs
index c614d0d..be7c930 100644 (file)
--- a/examples/GArrowTutorial.hs
+++ b/examples/GArrowTutorial.hs
@@ -3,8 +3,8 @@ module GArrowTutorial
 where
 import Data.Bits
 import Data.Bool (not)
-import GHC.HetMet.CodeTypes hiding ((-))
-import GHC.HetMet.GArrow
+import Control.GArrow
+import GHC.HetMet.GuestLanguage hiding ( (-) )
 import Control.Category
 import Control.Arrow
 import Prelude hiding ( id, (.) )