From 6c69642637b666508e22355a81d16d92576b1617 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 13 May 2008 17:31:40 +0000
Subject: [PATCH] More exceptions captured.

---
 helm/software/components/ng_kernel/check.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/helm/software/components/ng_kernel/check.ml b/helm/software/components/ng_kernel/check.ml
index 6bc725033..dde581788 100644
--- 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
     )
-- 
2.39.2