diff options
author | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2015-11-27 17:21:35 +0100 |
---|---|---|
committer | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2015-11-27 17:23:05 +0100 |
commit | a0e72610a71e086da392c8563c2eec2e35211afa (patch) | |
tree | 76986613697d29c4970307037a737dbf172f7643 /theories/Logic | |
parent | 8297baa98147f78263126b1bd6cf41b0456f177d (diff) |
Avoid recording spurious Set <= Top.i constraints which are always
valid (when Top.i is global and hence > Set).
Diffstat (limited to 'theories/Logic')
0 files changed, 0 insertions, 0 deletions