diff options
| author |  Rustan Leino <leino@microsoft.com> | 2012-01-09 10:29:11 -0800 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2012-01-09 10:29:11 -0800 |
| commit | e29ca07f28a9c54c46f4c45a3d77c3cf7254d07f (patch) | |
| tree | a86285ab9ac3ec54971971ed080524ccc5eff1ee /Source/Provers/TPTP | |
| parent | e146b555150d30ef9afe07b7d0291870b4c59143 (diff) | |
Dafny: disallow changes of datatypes in refinements
Diffstat (limited to 'Source/Provers/TPTP')
0 files changed, 0 insertions, 0 deletions