From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Mon, 7 Apr 2008 11:07:11 +0000 (+0000)
Subject: print the excpetion and raise it again, seems to produce a reasonable backtrace
X-Git-Tag: make_still_working~5434
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=bb48f187f60642ea1e8db9a73c9ae29042ce02cb;p=helm.git

print the excpetion and raise it again, seems to produce a reasonable backtrace
---

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