update to use Control.GArrow instead of GHC.HetMet.GArrow

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

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