From 498e143579c5b98d9970c1b0c8c2f06ec0cc5a18 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 7 Apr 2008 16:17:57 +0000 Subject: [PATCH] invalidate --- helm/software/components/ng_kernel/nCicEnvironment.mli | 2 ++ 1 file changed, 2 insertions(+) diff --git a/helm/software/components/ng_kernel/nCicEnvironment.mli b/helm/software/components/ng_kernel/nCicEnvironment.mli index 70a230ddf..9c0a70fc0 100644 --- a/helm/software/components/ng_kernel/nCicEnvironment.mli +++ b/helm/software/components/ng_kernel/nCicEnvironment.mli @@ -49,4 +49,6 @@ val get_checked_cofix: val get_indty_leftno: NReference.reference -> int +val invalidate: unit -> unit + (* EOF *) -- 2.39.2