diff options
| author | Pierre-Marie Pédrot | 2017-07-24 19:29:09 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-07-24 19:29:42 +0200 |
| commit | a647c38d3024f34711fbaa66975b5812097c33cc (patch) | |
| tree | 7448bb021fb7a3a64039a129643cb9e8a766acf5 /src/tac2stdlib.ml | |
| parent | 1fe83d5d791f0ff91ffa032b556f02c6cc4cbfed (diff) | |
Properly handle parsing of list patterns.
Diffstat (limited to 'src/tac2stdlib.ml')
0 files changed, 0 insertions, 0 deletions