1) Include files for NG were neither recursively processes nor accumulated.

[helm.git] / helm / software / components / ng_kernel / nCicLibrary.mli

diff --git a/helm/software/components/ng_kernel/nCicLibrary.mli b/helm/software/components/ng_kernel/nCicLibrary.mli
index 30dcc263c0d1c6afb3866bc30dbee11fb6049cb9..2911204ae50d0370375b56f4ac772e370a0952fb 100644 (file)
--- 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 *)