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 | b50cd7f9ddf5f7d8428ba79a0e336556389ac1c0 (patch) | |
| tree | dfe6b1e1c5fe0196d35c033b135aa8e341e01c26 /src/elaborate.sml | |
| parent | 514bde72c4a3f291221bbb362b9496c020042925 (diff) | |
In checking signature subsumption, be sure to try constraints last.
Diffstat (limited to 'src/elaborate.sml')
0 files changed, 0 insertions, 0 deletions