]> matita.cs.unibo.it Git - helm.git/commitdiff
Same fix of the previous commit, but in a different case.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 2 Jan 2007 19:03:33 +0000 (19:03 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 2 Jan 2007 19:03:33 +0000 (19:03 +0000)
helm/software/components/cic_unification/cicUnification.ml

index 91d10242d6469bf4f09f81701a5b30c2c9109585..a7a3a16741e50889b1a60a823eb41cd6d6f7452f 100644 (file)
@@ -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