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

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