- pretty printer made robust in face of list_nth

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

diff --git a/helm/software/components/ng_kernel/nCicPp.ml b/helm/software/components/ng_kernel/nCicPp.ml
index 6a38873fc360d9b238f3ff13bbed0174fc521bd7..47cdfa3ca8ff5bb29a6438ef9f8a7ce4ddf7147e 100644 (file)
--- a/helm/software/components/ng_kernel/nCicPp.ml
+++ b/helm/software/components/ng_kernel/nCicPp.ml
@@ -43,7 +43,11 @@ let r2s pp_fix_name r =
             else 
               NUri.name_of_uri u ^"("^ string_of_int i ^ ")"
         | _ -> assert false)
-  with NCicLibrary.ObjectNotFound _ -> R.string_of_reference r
+  with 
+  | NCicLibrary.ObjectNotFound _ 
+  | Failure "nth" 
+  | Invalid_argument "List.nth" -> R.string_of_reference r
+
 ;;
 
 let string_of_implicit_annotation = function