diff options
| author | Arnaud Spiwack | 2015-06-25 09:52:45 +0200 |
|---|---|---|
| committer | Arnaud Spiwack | 2015-06-25 10:29:08 +0200 |
| commit | 28855216037570aeabc544ab232bb896d7a7327f (patch) | |
| tree | 0d8d5337c136675581364c86756b7775d56d0061 /kernel/typeops.ml | |
| parent | 476189527703aaf9caf5612e8395ce3b8ddb088f (diff) | |
Adjust checker after `Assume [Positive]`.
Diffstat (limited to 'kernel/typeops.ml')
0 files changed, 0 insertions, 0 deletions