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

Updated option.expected (due to change in standard.mly).

parent 87e5ffa8
File "option.mly", line 6, characters 0-6:
File "../../src/standard.mly", line 13, characters 8-14:
File "../../src/standard.mly", line 85, characters 8-14:
Error: symbol option is defined with arities 0 and 1.
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