diff options
| author |  Arnaud Spiwack <arnaud@spiwack.net> | 2016-06-25 20:54:49 +0200 |
|---|---|---|
| committer |  Maxime Dénès <mail@maximedenes.fr> | 2016-06-27 12:36:10 +0200 |
| commit | cbbc76d0ac6c9710d341b8bc0362aa9d7599f45d (patch) | |
| tree | 58b66cac9b7a602835b49273e0468badb1820df4 /test-suite/success/Case15.v | |
| parent | c1caa158add73e6e6028ade81a0cb4540a845d18 (diff) | |
Patterns in binders: functional tests
Diffstat (limited to 'test-suite/success/Case15.v')
0 files changed, 0 insertions, 0 deletions