diff options
| author | Kathy Gray | 2015-03-17 15:09:56 +0000 |
|---|---|---|
| committer | Kathy Gray | 2015-03-17 15:09:56 +0000 |
| commit | e15a5884ea4e29492869655a3daaa8cbdcd48828 (patch) | |
| tree | 60d8de289fd0f0c851a396e04a563f6bd047a0a1 /src/pretty_print.ml | |
| parent | d32c8308f43f97d4bec74990736e31c085950dd6 (diff) | |
Correct directionality in interpreter. Now the interpreter shouldn't use inc unless that's the current default or there's no default set in the spec
Diffstat (limited to 'src/pretty_print.ml')
0 files changed, 0 insertions, 0 deletions