diff options
author | 2016-11-29 11:37:24 +0100 | |
---|---|---|
committer | 2016-11-30 09:39:45 +0100 | |
commit | 89fc7443d2e35f5020d272faecc4fe1f6e12eb11 (patch) | |
tree | 747d7ea6ee9d6c2616696b5973bec2f943670b3d /test-suite/success/Case20.v | |
parent | 3642314974b3aca6eb522c37e7e4efd226e6ebc8 (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