diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2010-04-13 10:40:55 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2010-04-13 10:40:55 -0400 |
| commit | 3f95c104bdbf0e24e3557c66d7a4a3e165d562f0 (patch) | |
| tree | 063a23a9ab9bf6acb5884e38af9645c093ae4fbe /src/order.sml | |
| parent | 8ee738489b23b52246046305325ba7dd0db29c63 (diff) | |
Fix problem with overly weak ambients for queries; fix known-related bug in assert for Dt1
Diffstat (limited to 'src/order.sml')
0 files changed, 0 insertions, 0 deletions