From fc1e25e37ba7deb07572f0cdb63aef02f0468dcb Mon Sep 17 00:00:00 2001 From: Andrea Asperti 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. --- helm/software/components/cic_proof_checking/cicPp.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/helm/software/components/cic_proof_checking/cicPp.ml b/helm/software/components/cic_proof_checking/cicPp.ml index 55d94899b..d065ee74a 100644 --- a/helm/software/components/cic_proof_checking/cicPp.ml +++ b/helm/software/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