merge proof correction

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

diff --git a/examples/CircuitExample.hs b/examples/CircuitExample.hs
index b8ca60b..f32d5ff 100644 (file)
--- a/examples/CircuitExample.hs
+++ b/examples/CircuitExample.hs
@@ -1,7 +1,7 @@
 {-# OPTIONS_GHC -XModalTypes -ddump-types -XNoMonoPatBinds -XMultiParamTypeClasses -XTypeOperators #-}
 module CircuitExample
 where
-import GHC.HetMet.GArrow
+import Control.GArrow
 import GHC.HetMet.GuestLanguage hiding ((-))
 import Control.Category
 import Prelude hiding ( id, (.) )