From 31614ae3b2c3260d381c77643e87ab683b347b58 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 2 Jan 2007 19:03:33 +0000 Subject: [PATCH] Same fix of the previous commit, but in a different case. --- helm/software/components/cic_unification/cicUnification.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/software/components/cic_unification/cicUnification.ml b/helm/software/components/cic_unification/cicUnification.ml index 91d10242d..a7a3a1674 100644 --- a/helm/software/components/cic_unification/cicUnification.ml +++ b/helm/software/components/cic_unification/cicUnification.ml @@ -645,7 +645,7 @@ assert false CoercGraph.look_for_coercion' metasenv subst context m car1 with - | CoercGraph.SomeCoercion [metasenv,last,coerced] + | CoercGraph.SomeCoercion ((metasenv,last,coerced)::_) -> last, fo_unif_subst test_equality_only subst context -- 2.39.2