1. deriving (Show) no longer used because it fails on empty types

[helm.git] / matita / matita / lib / preamble.hs

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