X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2FnCicLibrary.mli;h=326ef143ea64d532b3670bbf832478bdd0905ac1;hb=ea3883261d74eda2451ab90efc354a9c03b48707;hp=a8b546d2e2f58bbef2b93acbd7501deb06046a21;hpb=bd3680d6b90f6c8bdda4eb4a915a86a0e806de63;p=helm.git

diff --git a/helm/software/components/ng_kernel/nCicLibrary.mli b/helm/software/components/ng_kernel/nCicLibrary.mli
index a8b546d2e..326ef143e 100644
--- a/helm/software/components/ng_kernel/nCicLibrary.mli
+++ b/helm/software/components/ng_kernel/nCicLibrary.mli
@@ -47,4 +47,6 @@ module type Serializer =
 
 module Serializer(S: sig type status end): Serializer with type status= S.status
 
+val init: unit -> unit
+
 (* EOF *)