From 23612b6dbb05ee519edd00dd7555ab42fcd71c7e Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 21 Jan 2003 16:37:09 +0000 Subject: [PATCH] bugfix while printing MutInd and MutConstruct unresolved uris --- helm/ocaml/cic_proof_checking/cicPp.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/helm/ocaml/cic_proof_checking/cicPp.ml b/helm/ocaml/cic_proof_checking/cicPp.ml index 30b91760d..d3f7f0f60 100644 --- a/helm/ocaml/cic_proof_checking/cicPp.ml +++ b/helm/ocaml/cic_proof_checking/cicPp.ml @@ -114,7 +114,7 @@ let rec pp t l = name ^ pp_exp_named_subst exp_named_subst l | _ -> raise CicPpInternalError with - _ -> UriManager.string_of_uri uri ^ "#1/" ^ string_of_int n + _ -> UriManager.string_of_uri uri ^ "#1/" ^ string_of_int (n + 1) ) | C.MutConstruct (uri,n1,n2,exp_named_subst) -> (try @@ -126,7 +126,7 @@ let rec pp t l = | _ -> raise CicPpInternalError with _ -> - UriManager.string_of_uri uri ^ "#1/" ^ string_of_int n1 ^ "/" ^ + UriManager.string_of_uri uri ^ "#1/" ^ string_of_int (n1 + 1) ^ "/" ^ string_of_int n2 ) | C.MutCase (uri,n1,ty,te,patterns) -> -- 2.39.2