diff options
| author |  Rustan Leino <leino@microsoft.com> | 2011-05-26 00:02:57 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2011-05-26 00:02:57 -0700 |
| commit | a7731599b7ab802c7c47e5ccf33e21953a238c2d (patch) | |
| tree | af68f595ddddfc2195487f90754080635038fe24 /Source/Model | |
| parent | daba6b774c3f945de58229f28078e8dccaaec782 (diff) | |
Dafny: retired the "call" keyword
Diffstat (limited to 'Source/Model')
0 files changed, 0 insertions, 0 deletions