diff options
| author | Brian Campbell | 2018-07-04 11:43:06 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-07-06 18:27:01 +0100 |
| commit | d2ddaad22f25a152d5fd53c11b3e1698747bd9c5 (patch) | |
| tree | 18e4f2f347f707293643c689d09b4cadd4eaa7c6 /lib/main.ml | |
| parent | 626f81f2dd15cf26584ee0a723cbea63a094f763 (diff) | |
Coq: turn off partial support for dropping true constraints, fix strings
Diffstat (limited to 'lib/main.ml')
0 files changed, 0 insertions, 0 deletions