From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 13 May 2008 17:05:08 +0000 (+0000)
Subject: Used old kernel exception in place of brand new one.
X-Git-Tag: make_still_working~5223
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a07144619493a0ec53c5c2c9f3adcdf5b557dd5d;hp=d66222777ea069f6cde311548dc327f5be09ec59;p=helm.git

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 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;