From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 2 Feb 2007 18:15:59 +0000 (+0000)
Subject: Serious bug fixed: the types of a real mutual fix definition were not lifted
X-Git-Tag: make_still_working~6489
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a95bb53a77f84592a64131eadf7d4501c49667ce;hp=a95bb53a77f84592a64131eadf7d4501c49667ce;p=helm.git

Serious bug fixed: the types of a real mutual fix definition were not lifted
as required. Moreover, an unification exception used to escape the refiner.
Now it does no more, but the error is not localized (being about the branch
of a MutCase that has no precise localization).
---