From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 2 Jan 2007 19:03:33 +0000 (+0000)
Subject: Same fix of the previous commit, but in a different case.
X-Git-Tag: 0.4.95@7852~690
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=780dd584632c362a0cd01149e23766b62037c971;p=helm.git

Same fix of the previous commit, but in a different case.
---

diff --git a/components/cic_unification/cicUnification.ml b/components/cic_unification/cicUnification.ml
index 91d10242d..a7a3a1674 100644
--- a/components/cic_unification/cicUnification.ml
+++ b/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