Used old kernel exception in place of brand new one.

diff --git a/helm/software/components/ng_kernel/check.ml b/helm/software/components/ng_kernel/check.ml
index 350d2e6f20ffff098f2d4c2e2a68f4e7d7422a03..5faab078fa48258fd883139e8edc65460d98f9c9 100644 (file)
--- a/helm/software/components/ng_kernel/check.ml
+++ b/helm/software/components/ng_kernel/check.ml
@@ -130,7 +130,7 @@ let _ =
     | NCicTypeChecker.TypeCheckerFailure s as e -> 
        prerr_endline ("######### " ^ Lazy.force s);
        if not ignore_exc then raise e
-    | CicEnvironment.Object_not_found s -> 
+    | NCicEnvironment.Object_not_found s -> 
        prerr_endline ("Obj not found: " ^ UriManager.string_of_uri s)
     )
     alluris;