X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=examples%2FDemo.hs;h=6d0e69ddd19f9d5208cc4b621919de33cc210d74;hp=4c53aa50091e00d929125a9e1c4f9abf63add6bd;hb=6a7c6977507488245ba4b8cabcf323920c25baef;hpb=a45824c7d03fcf797e22d2919187a7e97fb567cc

diff --git a/examples/Demo.hs b/examples/Demo.hs
index 4c53aa5..6d0e69d 100644
--- 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