From c80f6d72bfe8bdea8b564c8505460c703581c487 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Fri, 31 Jul 2009 09:01:53 +0000 Subject: [PATCH] Pp fixed in order to obtain read-back. --- helm/software/components/ng_kernel/nCicPp.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/software/components/ng_kernel/nCicPp.ml b/helm/software/components/ng_kernel/nCicPp.ml index 7d7a90dcc..e7cc53a47 100644 --- a/helm/software/components/ng_kernel/nCicPp.ml +++ b/helm/software/components/ng_kernel/nCicPp.ml @@ -45,7 +45,7 @@ let r2s pp_fix_name r = if pp_fix_name then let _,name,_,_,_ = List.nth fl i in name else - NUri.name_of_uri u ^"("^ string_of_int i ^ ")" + NUri.name_of_uri u (*^"("^ string_of_int i ^ ")"*) | _ -> assert false) with | NCicEnvironment.ObjectNotFound _ -- 2.39.2