diff options
| author | Jon French | 2018-05-09 14:07:36 +0100 |
|---|---|---|
| committer | Jon French | 2018-05-09 14:07:36 +0100 |
| commit | b6b21038c2f287a54a8bb29ec555cc42bb809100 (patch) | |
| tree | 69f29903a01d7c66199157272adbc20a466ae834 /src/specialize.ml | |
| parent | 6e4c3d5009ad88c0e6ccd73fde42f9a9b6fa2b3f (diff) | |
allow empty brackets to pass unit to sub-mpats
Diffstat (limited to 'src/specialize.ml')
0 files changed, 0 insertions, 0 deletions