Merge branch 'coq-extraction-baked-in' of /afs/megacz.com/.pub/software/coq-hetmet

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

diff --git a/examples/BiGArrow.hs b/examples/BiGArrow.hs
index 466fbc2..40ff343 100644 (file)
--- 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