From 2f5b8ded5e2ef21f1bead554f4dd42759f2f9972 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 29 Aug 2012 08:21:28 +0000 Subject: [PATCH] Match in types handled using top. --- matita/matita/lib/preamble.hs | 2 ++ 1 file changed, 2 insertions(+) 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 -- 2.39.2