diff options
author | 2014-12-04 20:22:39 -0500 | |
---|---|---|
committer | 2014-12-04 20:22:39 -0500 | |
commit | b50cd7f9ddf5f7d8428ba79a0e336556389ac1c0 (patch) | |
tree | dfe6b1e1c5fe0196d35c033b135aa8e341e01c26 /src/cjr_print.sml | |
parent | 514bde72c4a3f291221bbb362b9496c020042925 (diff) |
In checking signature subsumption, be sure to try constraints last.
Diffstat (limited to 'src/cjr_print.sml')
0 files changed, 0 insertions, 0 deletions