From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 29 Aug 2012 08:21:28 +0000 (+0000)
Subject: Match in types handled using top.
X-Git-Tag: make_still_working~1523
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=2f5b8ded5e2ef21f1bead554f4dd42759f2f9972

Match in types handled using top.
---

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