From cdb7b3dcac3ff13a18ce67878ab7aec2302a9a77 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 --- helm/software/matita/contribs/LAMBDA-TYPES/Level-1/problems.ma | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/problems.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/problems.ma index 5bf584dfd..409ef681f 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/problems.ma +++ b/helm/software/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