From a07144619493a0ec53c5c2c9f3adcdf5b557dd5d Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 13 May 2008 17:05:08 +0000 Subject: [PATCH] Used old kernel exception in place of brand new one. --- helm/software/components/ng_kernel/check.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/software/components/ng_kernel/check.ml b/helm/software/components/ng_kernel/check.ml index 350d2e6f2..5faab078f 100644 --- 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; -- 2.39.2