From bda7443f54cc6fb5b4f5ec069fb19d8a726589d0 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 29 Aug 2012 12:54:15 +0000 Subject: [PATCH] ... --- matita/components/ng_kernel/nCicExtraction.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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) = -- 2.39.2