X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=examples%2FBiGArrow.hs;h=40ff343c9bf43a02b7d3f25691fabaf695733321;hp=466fbc2ffa361a33e320815ee3190a612579ac10;hb=c07fa5072abe97b2a458a16cdae4299eef07746b;hpb=0f137f4fbe7076b7a0f6b33d661b4f7aa8b4f160;ds=sidebyside

diff --git a/examples/BiGArrow.hs b/examples/BiGArrow.hs
index 466fbc2..40ff343 100644
--- a/examples/BiGArrow.hs
+++ b/examples/BiGArrow.hs
@@ -1,4 +1,4 @@
-{-# 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