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 5167ab9a authored by POTTIER Francois's avatar POTTIER Francois

Update expected test output. Spurious changes in some error messages.

parent bb15427f
File "duplicate-formal.mly", line 6, characters 0-3:
Error: several parameters of this rule are named "X27".
Error: several parameters of this rule are named "X31".
File "unification-error-in-args.mly", line 7, characters 6-7:
Error: does the symbol "X27" expect 0 or 1 argument?
Error: does the symbol "X31" expect 0 or 1 argument?
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