X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbin%2Frecomm%2FrecommPccFor.ml;h=cdad8df5599a13ce628bc91706fc2a74fba35482;hp=5d08261c860b3de123ccde2f9bcc5f73dc58e2d0;hb=dbc57c92512c04b3fd88f8289bb8dbe99b2f90e0;hpb=baa54e5db0fb93c4242dd1b67a5018ca63206cf6

diff --git a/matita/matita/contribs/lambdadelta/bin/recomm/recommPccFor.ml b/matita/matita/contribs/lambdadelta/bin/recomm/recommPccFor.ml
index 5d08261c8..cdad8df55 100644
--- a/matita/matita/contribs/lambdadelta/bin/recomm/recommPccFor.ml
+++ b/matita/matita/contribs/lambdadelta/bin/recomm/recommPccFor.ml
@@ -8,7 +8,7 @@ let r_line = ref ES.id
 let k_for k ok outs ins =
   if ok then begin
     match ins with
-    | "for" :: tl -> !d_line k false ("for" :: outs) tl
+    | "FOR" :: tl -> !d_line k false ("FOR" :: outs) tl
     | _           -> k true outs ins
   end else begin
     k true outs ins