Debugging

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

diff --git a/helm/software/components/ng_kernel/nCicLibrary.ml b/helm/software/components/ng_kernel/nCicLibrary.ml
index f0f9c99a1644ad75b8de39d2f3a707dfc000c204..da38ef0e14ce8b0bec1ee8429d07480b771d1d98 100644 (file)
--- 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
 ;;