From 44f465fa4b07556033c5c6c196a52cf16599589c Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 3 Feb 2004 14:10:53 +0000 Subject: [PATCH] catch just AssertFailure instead of _ (AssertFailure is the only exception that could be raised there since the invoked function wraps every exception inside it) --- helm/ocaml/cic_unification/cicUnification.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/ocaml/cic_unification/cicUnification.ml b/helm/ocaml/cic_unification/cicUnification.ml index 70c7aa9cb..1dc4ae2bd 100644 --- a/helm/ocaml/cic_unification/cicUnification.ml +++ b/helm/ocaml/cic_unification/cicUnification.ml @@ -106,7 +106,7 @@ let rec fo_unif_subst subst context metasenv t1 t2 = type_of_aux' metasenv' subst'' context t in fo_unif_subst subst'' context metasenv' (S.lift_meta l meta_type) tyt - with _ -> + with AssertFailure _ -> (* TODO huge hack!!!! * we keep on unifying/refining in the hope that the problem will be * eventually solved. In the meantime we're breaking a big invariant: -- 2.39.2