Attention une mise à jour du serveur va être effectuée le lundi 17 mai entre 13h et 13h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Commit 6f9a2418 authored by POTTIER Francois's avatar POTTIER Francois


parent ffc385fd
......@@ -252,6 +252,7 @@ let print_messages_auto (nt, sentence, target) : unit =
a few assumptions about the concrete syntax of the language:
1. It is permitted to insert one space between two tokens;
2. No token contains a newline character.
(Our lexer enforces this assumption.)
The name of the start symbol cannot be printed in a meaningful
manner, so it is omitted. *)
if Terminal.every_token_has_an_alias then
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