aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/success/Case20.v
diff options
context:
space:
mode:
authorGravatar Maxime Dénès <mail@maximedenes.fr>2016-11-29 11:37:24 +0100
committerGravatar Maxime Dénès <mail@maximedenes.fr>2016-11-30 09:39:45 +0100
commit89fc7443d2e35f5020d272faecc4fe1f6e12eb11 (patch)
tree747d7ea6ee9d6c2616696b5973bec2f943670b3d /test-suite/success/Case20.v
parent3642314974b3aca6eb522c37e7e4efd226e6ebc8 (diff)
Fix #5174: Underinformative syntax error messages in the new arguments syntax
We introduce a bit of compatibility parsing code to print deprecation warnings.
Diffstat (limited to 'test-suite/success/Case20.v')
0 files changed, 0 insertions, 0 deletions