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/Modules1.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/Modules1.dfy')
0 files changed, 0 insertions, 0 deletions