From 678d382e22c578c8e6c7b69cb9f3a7ae459b7967 Mon Sep 17 00:00:00 2001
From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Tue, 13 Mar 2007 10:50:01 +0000
Subject: [PATCH] Capturing Invalid_argument inside pp (otherwise we cannot
 even see what's wrong *) wrong.

---
 components/cic_proof_checking/cicPp.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/components/cic_proof_checking/cicPp.ml b/components/cic_proof_checking/cicPp.ml
index 55d94899b..d065ee74a 100644
--- a/components/cic_proof_checking/cicPp.ml
+++ b/components/cic_proof_checking/cicPp.ml
@@ -101,7 +101,8 @@ let rec pp t l =
                     ) context l1)) ^
                "]"
             with
-             CicUtil.Meta_not_found _ ->
+	      CicUtil.Meta_not_found _ 
+            | Invalid_argument _ ->
               "???" ^ (string_of_int n) ^ "[" ^ 
                String.concat " ; "
                 (List.rev_map (function None -> "_" | Some t -> pp t l) l1) ^
-- 
2.39.2