add -fflatten and -funsafe-skolemize flags

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

diff --git a/examples/Demo.hs b/examples/Demo.hs
index 4c53aa5..6d0e69d 100644 (file)
--- a/examples/Demo.hs
+++ b/examples/Demo.hs
@@ -1,4 +1,4 @@
-{-# OPTIONS_GHC -XModalTypes -fcoqpass -dcore-lint #-}
+{-# OPTIONS_GHC -XModalTypes -fflatten -funsafe-skolemize -dcore-lint #-}
 module Demo (demo) where