diff options
| author |  Rustan Leino <leino@microsoft.com> | 2011-06-20 14:49:48 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2011-06-20 14:49:48 -0700 |
| commit | a3629701b94e39ead149b4f4059f7967fc6eda7b (patch) | |
| tree | 4e1a8b7ae05fe4913dcd320e27ee7a49e6e6c440 /Test | |
| parent | 8c7c61df9b89ab12f1a679e1bc34d38fa2403761 (diff) | |
Dafny: removed deprecated "call" and "use" keywords from syntax highlighters
Diffstat (limited to 'Test')
0 files changed, 0 insertions, 0 deletions