X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcontribs%2FLAMBDA-TYPES%2FLevel-1%2Fproblems.ma;h=409ef681ffa4919995b15f74441e33a43bbcc72f;hb=30aa33a2a0d023e2c4b7b10ec3552e7d90c09d46;hp=5bf584dfd358990d62b80364c84dfa04c2bc4105;hpb=0df1e9792b208c0558960e7429b45abe25c6f90f;p=helm.git

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 *)