More exceptions captured.

[helm.git] / helm / software / components / ng_kernel / check.ml

diff --git a/helm/software/components/ng_kernel/check.ml b/helm/software/components/ng_kernel/check.ml
index 6bc725033352adce644a4d96558785ec195c7a9a..dde581788bc7e757f2666aa7e0406c4d8e1cacaf 100644 (file)
--- a/helm/software/components/ng_kernel/check.ml
+++ b/helm/software/components/ng_kernel/check.ml
@@ -128,7 +128,8 @@ let _ =
     with 
     | NCicTypeChecker.AssertFailure s 
     | NCicTypeChecker.TypeCheckerFailure s
-    | NCicEnvironment.ObjectNotFound s as e -> 
+    | NCicEnvironment.ObjectNotFound s
+    | NCicEnvironment.BadDependency s as e -> 
        prerr_endline ("######### " ^ Lazy.force s);
        if not ignore_exc then raise e
     )