X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbin%2Frecomm%2FrecommParser.mly;h=d8c655bf72695175c7a43f3895127f5baa97da9e;hp=79512c7c4db97c1250390960fe9ec6ad94116e6d;hb=8fdf1af656038d0245eba64ff2531bbe94ce0e9e;hpb=77c9255de3c5f7780aeacd745703a1cc76328a68

diff --git a/matita/matita/contribs/lambdadelta/bin/recomm/recommParser.mly b/matita/matita/contribs/lambdadelta/bin/recomm/recommParser.mly
index 79512c7c4..d8c655bf7 100644
--- a/matita/matita/contribs/lambdadelta/bin/recomm/recommParser.mly
+++ b/matita/matita/contribs/lambdadelta/bin/recomm/recommParser.mly
@@ -79,16 +79,16 @@ sws:
   | SP sw sws { $2 :: $3 }
 
 src_l:
-  | NL               { ET.Line  $1                     }
-  | OP sp PP inns CP { ET.Mark  $4                     }
-  | OP sp KW inns CP { ET.Key   ($3, $4)               }
-  | OP sp CW cws CP  { ET.Title ($3 :: $4)             }
-  | OP sp HW sws CP  { ET.Slice (lc $3 :: $4)          }
-  | OP sp CP         { ET.Other ($1, $2, $3)           }
-  | OP sp inns_r CP  { ET.Other ($1, $2 ^ $3, $4)      }
-  | OP SR inns CP    { ET.Other ($1, $2 ^ $3, $4)      }
-  | OP SR SR inns CP { ET.Other ($1, $2 ^ $3 ^ $4, $5) }
-  | OP SP SR inns CP { ET.Mark  $4                     }
+  | NL               { ET.Line  $1                        }
+  | OP sp PP inns CP { ET.Mark  $4                        }
+  | OP sp KW inns CP { ET.Key   ($3, $4)                  }
+  | OP sp CW cws CP  { ET.Title ($3 :: $4)                }
+  | OP sp HW sws CP  { ET.Slice (lc $3 :: $4)             }
+  | OP sp CP         { ET.Other (0, $1, $2, $3)           }
+  | OP sp inns_r CP  { ET.Other (0, $1, $2 ^ $3, $4)      }
+  | OP SR inns CP    { ET.Other (1, $1, $2 ^ $3, $4)      }
+  | OP SR SR inns CP { ET.Other (2, $1, $2 ^ $3 ^ $4, $5) }
+  | OP SP SR inns CP { ET.Mark  $4                        }
 
 src:
   | outs { ET.Text $1 }