From 444cba870b5f7dd568693a3d477bcca5e9649c8e Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Sat, 20 Jun 2009 13:47:57 +0000 Subject: [PATCH] Debugging --- helm/software/components/ng_kernel/nCicLibrary.ml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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 ;; -- 2.39.2