diff options
| author |  mkawa <unknown> | 2009-11-07 03:04:26 +0000 |
|---|---|---|
| committer | mkawa <unknown> | 2009-11-07 03:04:26 +0000 |
| commit | c9c423ce3bde91f736266f8c9ae883b9e44acc70 (patch) | |
| tree | db3fb62067ffab6e574d3c884ccf8e605f0d8998 /Test/dafny0/Simple.dfy | |
| parent | 8718c8de05f07ffbb3ccbceee550a9c88a599947 (diff) | |
Fixes crash when modifies set includes a variable twice.
Diffstat (limited to 'Test/dafny0/Simple.dfy')
0 files changed, 0 insertions, 0 deletions