X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2FnCic.ml;h=9221ba8d4bd0ab336cccc03779002dc7acc5bb69;hb=813025418906707f7bbbf43732fc0e8d5cfc6943;hp=6466912a14f2227dbdee060a48137b9aebd0080b;hpb=a3ba13b9503a2c0dd89b89b489899362d17b3f3a;p=helm.git

diff --git a/helm/software/components/ng_kernel/nCic.ml b/helm/software/components/ng_kernel/nCic.ml
index 6466912a1..9221ba8d4 100644
--- a/helm/software/components/ng_kernel/nCic.ml
+++ b/helm/software/components/ng_kernel/nCic.ml
@@ -43,10 +43,10 @@ and term =
  | Prod     of name * term * term                     (* binder, source, target          *)
  | Lambda   of name * term * term                     (* binder, source, target          *)
  | LetIn    of name * term * term * term              (* binder, type, term, body        *)
- | Const    of NUriManager.uri                         (* uri contains indtypeno/constrno *)
+ | Const    of NUriManager.reference                         (* reference contains indtypeno/constrno *)
  | Sort     of sort                                   (* sort                            *)
  | Implicit of implicit_annotation                    (* ... *)
- | MutCase  of NUriManager.uri *                      (* ind. uri,             *)
+ | MutCase  of NUriManager.reference *                      (* ind. reference,             *)
     term * term *                                   (*  outtype, ind. term   *)
     term list                                       (*  patterns             *)