diff options
| author | Gabriel Kerneis | 2013-12-19 15:59:55 +0000 |
|---|---|---|
| committer | Gabriel Kerneis | 2013-12-19 16:13:08 +0000 |
| commit | 663ce94aded2c08fb5cc146fe18eaa6a4448e3ce (patch) | |
| tree | 88b5cf7627e70fae647542521c502577f5d86c82 /src/reporting_basic.ml | |
| parent | 308dd94ea6428d58c810546a1803722f6e4c0eef (diff) | |
pretty-print: pattern-matching of indexed vectors in Lem output
Lem tuples must be surrounded by parentheses (contrary to OCaml ones).
Diffstat (limited to 'src/reporting_basic.ml')
0 files changed, 0 insertions, 0 deletions