diff options
| author |  Jason Gross <jgross@mit.edu> | 2016-10-10 14:34:02 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2016-10-10 14:34:47 -0400 |
| commit | fa38b037a4b9e26a7153938c2c650966297d0d67 (patch) | |
| tree | 505d9a1bc4d0830a591042b98acae3687987bed1 /src/Util | |
| parent | 6a316e99febd6799db8b32d14de5ab68115e97d1 (diff) | |
Work around bug 5003 (broken omega on projections)
This is https://coq.inria.fr/bugs/show_bug.cgi?id=5003, [xlia] ([lia],
[nia]) constructs ill typed terms when projections from records are
involved.
Diffstat (limited to 'src/Util')
0 files changed, 0 insertions, 0 deletions