X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Flib%2Fpreamble.hs;h=9aae779dd90ca1869b9fd99eb1f125d3071f6e7d;hb=b08fbe87149ae7c2e14dfd7485dbf50d6e7dbfe6;hp=abc288aa4491d27edab6a2cb15f996e52df091d2;hpb=a78228fa1d53da35b589f8b5f29816270f467af8;p=helm.git

diff --git a/matita/matita/lib/preamble.hs b/matita/matita/lib/preamble.hs
index abc288aa4..9aae779dd 100644
--- a/matita/matita/lib/preamble.hs
+++ b/matita/matita/lib/preamble.hs
@@ -5,3 +5,4 @@ module Main where
 import Unsafe.Coerce
 import Prelude (error)
 import qualified Prelude
+import qualified GHC.Prim