diff options
| author | Brian Campbell | 2020-01-21 14:10:09 +0000 |
|---|---|---|
| committer | Brian Campbell | 2020-01-21 14:10:26 +0000 |
| commit | 3199a8954acccbaa4d779c39c6a7ee891e056651 (patch) | |
| tree | b86321b25ce565e4abfc0d8f67fab20213d25aaf /src/value.ml | |
| parent | 9f9d4e5e9662e7a173fa870632299a752fd204c4 (diff) | |
Reduce the amount of unnecessary parentheses in Coq output
Diffstat (limited to 'src/value.ml')
0 files changed, 0 insertions, 0 deletions