diff options
author | 2012-06-11 14:59:58 -0700 | |
---|---|---|
committer | 2012-06-11 14:59:58 -0700 | |
commit | cb5f93c71b97a878e76c1dacb0933783a3738235 (patch) | |
tree | 37adfc6998a5fba135959482676497e4dff43b7a /Test/dafny0 | |
parent | d5606621b8146a258557c4824405c8331e4c8691 (diff) |
Dafny: fixed bug in type cloning, as part of refinement machinery
Diffstat (limited to 'Test/dafny0')
0 files changed, 0 insertions, 0 deletions