From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 19 Sep 2012 16:42:27 +0000 (+0000)
Subject: GHC.Prim.Any fixed
X-Git-Tag: make_still_working~1508
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=fe109b10677871f9d29803c378e1ffa6c9e8501c;p=helm.git

GHC.Prim.Any fixed
---

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