bugfix while printing MutInd and MutConstruct unresolved uris

diff --git a/helm/ocaml/cic_proof_checking/cicPp.ml b/helm/ocaml/cic_proof_checking/cicPp.ml
index 30b91760dca74f278cf4a2da4804104c80ccee3e..d3f7f0f60b181f7ccdcc02de45176079e92300dc 100644 (file)
--- 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) ->