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