diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2016-11-06 13:29:18 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2016-11-07 09:11:46 +0100 |
| commit | 3308336f1a412cb2a218e3a70a171cb7ff88bfbe (patch) | |
| tree | 17b948277e19f5c15998dd901e67235e6ffe6897 /test-suite/bugs/opened/3922.v-disabled | |
| parent | d6a18782919367006ab1cee0a5577ed9b3028682 (diff) | |
Fix #5182: "Arguments names must be distinct." is bogus and underinformative
Diffstat (limited to 'test-suite/bugs/opened/3922.v-disabled')
0 files changed, 0 insertions, 0 deletions