From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 29 Aug 2012 12:54:15 +0000 (+0000)
Subject: ...
X-Git-Tag: make_still_working~1517
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=bda7443f54cc6fb5b4f5ec069fb19d8a726589d0;p=helm.git

...
---

diff --git a/matita/components/ng_kernel/nCicExtraction.ml b/matita/components/ng_kernel/nCicExtraction.ml
index ea38f82dc..aa9e7bd8f 100644
--- a/matita/components/ng_kernel/nCicExtraction.ml
+++ b/matita/components/ng_kernel/nCicExtraction.ml
@@ -1031,8 +1031,8 @@ let rec pp_obj status (_,ref,obj_kind) =
            let namectx = namectx_of_ctx left in
             pp_ref status ref ^ " :: " ^
              pretty_print_type status namectx tys
-         ) cl
-      )) il)
+         ) cl) ^ "\n    deriving (Prelude.Show)"
+      ) il)
  (* inductive and records missing *)
 
 let rec infos_of (info,_,obj_kind) =