...

[helm.git] / matita / matita / lib / preamble.hs

diff --git a/matita/matita/lib/preamble.hs b/matita/matita/lib/preamble.hs
index 2aea1bb44b0a76c8a385d44e49ba1eb6b19aa215..abc288aa4491d27edab6a2cb15f996e52df091d2 100644 (file)
--- a/matita/matita/lib/preamble.hs
+++ b/matita/matita/lib/preamble.hs
@@ -1,5 +1,7 @@
-{-# LANGUAGE RankNTypes, KindSignatures #-}
+{-# LANGUAGE RankNTypes, KindSignatures, GADTs, ScopedTypeVariables #-}
 
 module Main where
 
-
+import Unsafe.Coerce
+import Prelude (error)
+import qualified Prelude