Attention une mise à jour du serveur va être effectuée le vendredi 16 avril entre 12h et 12h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Commit d84bc0cc authored by POTTIER Francois's avatar POTTIER Francois

Removed an old comment.

parent c8d6f737
......@@ -305,10 +305,6 @@ rule main = parse
let stretch = mk_stretch true openingpos closingpos pkeywords in
ACTION (Action.from_stretch stretch)
) }
(* TEMPORARY comprendre si la diffrence entre header et action est bien
justifie et si certains choix comme le parenthsage et le
traitement des keywords ne pourraient pas tre effectus
plus loin. *)
| eof
{ EOF }
| _
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment