diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2014-12-04 20:22:39 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2014-12-04 20:22:39 -0500 |
| commit | b37758f320183d5d94fc469e66dd288cfb65ca53 (patch) | |
| tree | dfe6b1e1c5fe0196d35c033b135aa8e341e01c26 /include/urweb/urweb.h | |
| parent | c28e7617eecdaeaaa1fe804854805f43b3f8f523 (diff) | |
In checking signature subsumption, be sure to try constraints last.
Diffstat (limited to 'include/urweb/urweb.h')
0 files changed, 0 insertions, 0 deletions