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

diff --git a/matita/matita/lib/preamble.hs b/matita/matita/lib/preamble.hs
index abc288aa4..e196a2be3 100644
--- a/matita/matita/lib/preamble.hs
+++ b/matita/matita/lib/preamble.hs
@@ -5,3 +5,5 @@ module Main where
 import Unsafe.Coerce
 import Prelude (error)
 import qualified Prelude
+
+data Top