From 3813bdd5d0b4139a682b5faa50611791ac9278c2 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 25 Oct 2005 13:46:52 +0000 Subject: [PATCH] "better" (????) identification of assertion failures --- helm/ocaml/cic_unification/cicUnification.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/helm/ocaml/cic_unification/cicUnification.ml b/helm/ocaml/cic_unification/cicUnification.ml index a2a98bd0d..7c0d0e387 100644 --- a/helm/ocaml/cic_unification/cicUnification.ml +++ b/helm/ocaml/cic_unification/cicUnification.ml @@ -574,7 +574,7 @@ debug_print (lazy ("restringo Meta n." ^ (string_of_int n) ^ "on variable n." ^ ) (subst'',metasenv'',ugraph2) pl1 pl2 with Invalid_argument _ -> - raise (UnificationFailure (lazy "6"))) + raise (UnificationFailure (lazy "6.1"))) (* (sprintf "Error trying to unify %s with %s: the number of branches is not the same." (CicMetaSubst.ppterm subst t1) @@ -583,7 +583,7 @@ debug_print (lazy ("restringo Meta n." ^ (string_of_int n) ^ "on variable n." ^ if t1 = t2 then subst, metasenv,ugraph else - raise (UnificationFailure (lazy "6")) + raise (UnificationFailure (lazy "6.2")) (* (sprintf "Can't unify %s with %s because they are not convertible" (CicMetaSubst.ppterm subst t1) -- 2.39.2