From: Claudio Sacerdoti Coen 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/?p=helm.git;a=commitdiff_plain;h=bda7443f54cc6fb5b4f5ec069fb19d8a726589d0 ... --- 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) =