From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 29 Jun 2005 15:17:19 +0000 (+0000)
Subject: Incredible bug of simpl fixed: the stack (in the terminology used for the
X-Git-Tag: PRE_GETTER_STORAGE~113
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d774aa49f50598f725ded815b87949110a6acdcf;hp=d774aa49f50598f725ded815b87949110a6acdcf;p=helm.git

Incredible bug of simpl fixed: the stack (in the terminology used for the
Krivine's machine) was processed in the wrong context. As a result List.nth
(to get a Rel in the context) used to raise Failure in several cases. The
Failure, however, was catched somewhere in the code of matita and the
failure of simpl was hidden in most of the cases.
---