X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Flib%2Fpreamble.hs;h=9aae779dd90ca1869b9fd99eb1f125d3071f6e7d;hb=fe109b10677871f9d29803c378e1ffa6c9e8501c;hp=abc288aa4491d27edab6a2cb15f996e52df091d2;hpb=039f4f6db3a3c128959cd471eb78f575906e07b6;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