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

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

diff --git a/examples/DemoMain.hs b/examples/DemoMain.hs
index 08fab3e..c511bfa 100644 (file)
--- a/examples/DemoMain.hs
+++ b/examples/DemoMain.hs
@@ -1,7 +1,7 @@
 import Control.Category
 import GArrowTikZ
 import GHC.HetMet.Private
-import GHC.HetMet.GArrow
+import Control.GArrow
 import Demo
 
 main = tikz demo