X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fmatita%2Flib%2Fpreamble.hs;h=9aae779dd90ca1869b9fd99eb1f125d3071f6e7d;hb=b4f76b0d8fa0e5365fb48e91474febe200b647a7;hp=2aea1bb44b0a76c8a385d44e49ba1eb6b19aa215;hpb=4b076eaf2b73fae27f1ae58d3dfc95a385909f8b;p=helm.git

diff --git a/matita/matita/lib/preamble.hs b/matita/matita/lib/preamble.hs
index 2aea1bb44..9aae779dd 100644
--- a/matita/matita/lib/preamble.hs
+++ b/matita/matita/lib/preamble.hs
@@ -1,5 +1,8 @@
-{-# LANGUAGE RankNTypes, KindSignatures #-}
+{-# LANGUAGE RankNTypes, KindSignatures, GADTs, ScopedTypeVariables #-}
 
 module Main where
 
-
+import Unsafe.Coerce
+import Prelude (error)
+import qualified Prelude
+import qualified GHC.Prim