[Variadic] Fix a bug where a specification were generated for a variable without a name
- fixes #1060
Showing
- src/plugins/variadic/standard.ml 12 additions, 3 deletionssrc/plugins/variadic/standard.ml
- src/plugins/variadic/tests/declared/oracle/redfine_anonymous_parameters.res.oracle 26 additions, 0 deletions...s/declared/oracle/redfine_anonymous_parameters.res.oracle
- src/plugins/variadic/tests/declared/redfine_anonymous_parameters.i 5 additions, 0 deletions...ns/variadic/tests/declared/redfine_anonymous_parameters.i
Loading
Please register or sign in to comment