diff options
| author | Kathy Gray | 2015-06-18 11:18:37 +0100 |
|---|---|---|
| committer | Kathy Gray | 2015-06-18 11:18:37 +0100 |
| commit | a546e697cc65cda36e294929fd0b4bd5b8c2c2c2 (patch) | |
| tree | d05196772f467b16ac2197ec47bf77db40566b62 /src/lem_interp/printing_functions.ml | |
| parent | 94b1798e233a29fe30d2da83d1782541ec788440 (diff) | |
Consistent handling of constructors with no parameters
Diffstat (limited to 'src/lem_interp/printing_functions.ml')
0 files changed, 0 insertions, 0 deletions