From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Sat, 20 Jun 2009 13:47:57 +0000 (+0000)
Subject: Debugging
X-Git-Tag: make_still_working~3831
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=444cba870b5f7dd568693a3d477bcca5e9649c8e;p=helm.git

Debugging
---

diff --git a/helm/software/components/ng_kernel/nCicLibrary.ml b/helm/software/components/ng_kernel/nCicLibrary.ml
index f0f9c99a1..da38ef0e1 100644
--- a/helm/software/components/ng_kernel/nCicLibrary.ml
+++ b/helm/software/components/ng_kernel/nCicLibrary.ml
@@ -210,7 +210,9 @@ let decompile ~baseuri =
         Filename.dirname (NUri.string_of_uri nuri) <> NUri.string_of_uri baseuri
       ) (get_global_aliases ()))
   with
-   Unix.Unix_error _ -> (* raised by Unix.opendir, we hope :-) *)
+   Unix.Unix_error (_,m1,m2) -> (* raised by Unix.opendir, we hope :-) *)
+    if List.length baseuris <> 1 then
+     prerr_endline ("CRITICAL ERROR: " ^ m1 ^ ": " ^ m2);
     assert (List.length baseuris = 1)
  ) baseuris
 ;;