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

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

diff --git a/examples/BiGArrow.hs b/examples/BiGArrow.hs
index 40ff343..a6ecde4 100644 (file)
--- a/examples/BiGArrow.hs
+++ b/examples/BiGArrow.hs
@@ -1,7 +1,7 @@
 {-# OPTIONS_GHC -XModalTypes -XMultiParamTypeClasses -ddump-types -XNoMonoPatBinds -XFlexibleInstances -XGADTs -XUndecidableInstances -XDatatypeContexts #-}
 module BiGArrow
 where
-import GHC.HetMet.GArrow
+import Control.GArrow
 import Control.Category
 import Control.Arrow
 import Prelude hiding ( id, (.) )