diff options
| author |  Rustan Leino <leino@microsoft.com> | 2011-05-24 22:43:11 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2011-05-24 22:43:11 -0700 |
| commit | f7877ab8f223dcf3ea37ddc8a0b588316eb451a5 (patch) | |
| tree | 27566eb79aa955d2fa89cb57f800370c20ff12e4 /Test/dafny0/Comprehensions.dfy | |
| parent | f205409381a6e13beb4d5e9d88dfb31a67500116 (diff) | |
Dafny: changed local "var" introductions to use new VarDeclStmt instead of parsing as the old VarDecl's with RHS's
To-do: automatically make some variables introduce ghost variables, depending on RHS of initial assignment
Diffstat (limited to 'Test/dafny0/Comprehensions.dfy')
0 files changed, 0 insertions, 0 deletions