X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2FnReference.mli;h=1904f99c941a80fd9ff488df61d670c4c78a1bbd;hb=cc23f034c9419186602d9250456241f2eba90d7c;hp=116e30ac95bce6610147b2288383d1c692569979;hpb=085cfc8bc4f775e8879a31c6de35d08aed500332;p=helm.git

diff --git a/helm/software/components/ng_kernel/nReference.mli b/helm/software/components/ng_kernel/nReference.mli
index 116e30ac9..1904f99c9 100644
--- a/helm/software/components/ng_kernel/nReference.mli
+++ b/helm/software/components/ng_kernel/nReference.mli
@@ -33,7 +33,7 @@ type spec =
  | Ind of int
  | Con of int * int (* indtyno, constrno *)
 
-type reference = Ref of int *  string * spec
+type reference = Ref of int *  NUri.uri * spec
 
 val eq: reference -> reference -> bool
 val string_of_reference: reference -> string