X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2FnCicLibrary.mli;h=2911204ae50d0370375b56f4ac772e370a0952fb;hb=2ee517d852ad53540881221ecb01b9ec1881cc6a;hp=30dcc263c0d1c6afb3866bc30dbee11fb6049cb9;hpb=2338b758114eb40daf3fadf4fb016a9a1af541b6;p=helm.git

diff --git a/helm/software/components/ng_kernel/nCicLibrary.mli b/helm/software/components/ng_kernel/nCicLibrary.mli
index 30dcc263c..2911204ae 100644
--- a/helm/software/components/ng_kernel/nCicLibrary.mli
+++ b/helm/software/components/ng_kernel/nCicLibrary.mli
@@ -52,4 +52,7 @@ module Serializer(S: sig type status end): Serializer with type status= S.status
 
 val init: unit -> unit
 
+(* CSC: only required during old-to-NG phase, to be deleted *)
+val refresh_uri: NUri.uri -> NUri.uri
+
 (* EOF *)