diff options
| author |  kyessenov <unknown> | 2010-07-22 03:23:03 +0000 |
|---|---|---|
| committer | kyessenov <unknown> | 2010-07-22 03:23:03 +0000 |
| commit | 765d1a6621452672962626a8253c1092025c703e (patch) | |
| tree | 99feb7a900ecc988109527ed5b6d649abee545da /Test/dafny0/Refinement.dfy | |
| parent | 1ab520c8f403fbcc52f4752cd7854678ef004140 (diff) | |
Chalice: bug -- expression substitution should preserve typing
Diffstat (limited to 'Test/dafny0/Refinement.dfy')
0 files changed, 0 insertions, 0 deletions