X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=examples%2FBiGArrow.hs;h=a6ecde4b885f288d4ada7246efdf0ec1ed30f8c7;hp=466fbc2ffa361a33e320815ee3190a612579ac10;hb=ec996e8cb550676d89d187061db7d018af9ec88d;hpb=caa7ad74b99b34abc5181553e66423da6bdfee26

diff --git a/examples/BiGArrow.hs b/examples/BiGArrow.hs
index 466fbc2..a6ecde4 100644
--- a/examples/BiGArrow.hs
+++ b/examples/BiGArrow.hs
@@ -1,7 +1,7 @@
-{-# OPTIONS_GHC -XModalTypes -XMultiParamTypeClasses -ddump-types -XNoMonoPatBinds -XFlexibleInstances -XGADTs -XUndecidableInstances #-}
+{-# 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, (.) )