From bb48f187f60642ea1e8db9a73c9ae29042ce02cb Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Mon, 7 Apr 2008 11:07:11 +0000
Subject: [PATCH] print the excpetion and raise it again, seems to produce a
 reasonable backtrace

---
 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 a54890285..8aae86b89 100644
--- a/helm/software/components/ng_kernel/check.ml
+++ b/helm/software/components/ng_kernel/check.ml
@@ -12,7 +12,8 @@ let _ =
   try NCicTypeChecker.typecheck_obj o
   with 
   | NCicTypeChecker.AssertFailure s 
-  | NCicTypeChecker.TypeCheckerFailure s -> prerr_endline (Lazy.force s)
+  | NCicTypeChecker.TypeCheckerFailure s as e -> 
+     prerr_endline (Lazy.force s); raise e
   | CicEnvironment.Object_not_found s -> 
       prerr_endline ("Obj not found: " ^ UriManager.string_of_uri s)
 ;;
-- 
2.39.2