diff options
| author | Hugo Herbelin | 2020-12-02 17:22:16 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2020-12-09 11:04:47 +0100 |
| commit | dc7a4f056d97c43badaa6ca5901eafb951527d88 (patch) | |
| tree | 699360da8a42aa36faab86139b9dd64c138c8ade /doc/plugin_tutorial/tuto1/src | |
| parent | a33172c4f781f7ea2e7420aad9ffb5cfe077d66d (diff) | |
Using self-documenting argument names in two exceptions of cases.ml.
Namely, WrongNumargInductive and WrongNumargConstructor.
Diffstat (limited to 'doc/plugin_tutorial/tuto1/src')
0 files changed, 0 insertions, 0 deletions