From 30aa33a2a0d023e2c4b7b10ec3552e7d90c09d46 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Fri, 1 Sep 2006 18:48:33 +0000 Subject: [PATCH] new problem: generation of LambdaDelta.ma fails because of complex Cases costructions --- matita/contribs/LAMBDA-TYPES/Level-1/problems.ma | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/matita/contribs/LAMBDA-TYPES/Level-1/problems.ma b/matita/contribs/LAMBDA-TYPES/Level-1/problems.ma index 5bf584dfd..409ef681f 100644 --- a/matita/contribs/LAMBDA-TYPES/Level-1/problems.ma +++ b/matita/contribs/LAMBDA-TYPES/Level-1/problems.ma @@ -21,7 +21,7 @@ include "legacy/coq.ma". (* -(* Problem 1: disambiguation/typechecking of may objects very slow *) +(* Problem 1: generation of LambdaDelta.ma fails *) (* Problem 2: assertion failure raised by type checker on this object *) -- 2.39.2