From 33e92183dbdc1f2bf37a22dde9e1084b2df3a5c8 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Sat, 18 Feb 2006 11:33:05 +0000 Subject: [PATCH] Bug fixed: the wrong exception was enriched, breaking the invariant that only unlocalized exceptions can be enriched. --- components/cic_unification/cicRefine.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/components/cic_unification/cicRefine.ml b/components/cic_unification/cicRefine.ml index b74d40296..52b1a1034 100644 --- a/components/cic_unification/cicRefine.ml +++ b/components/cic_unification/cicRefine.ml @@ -1174,7 +1174,7 @@ and type_of_aux' ?(localization_tbl = Cic.CicHash.create 1) metasenv context t newhety s ugraph in newt, subst, metasenv, ugraph - with exn -> + with _ -> enrich localization_tbl hete ~f:(fun _ -> (lazy ("The term " ^ -- 2.39.2