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/VSI-Benchmarks/b5.dfy | |
parent | 8c7c61df9b89ab12f1a679e1bc34d38fa2403761 (diff) |
Dafny: removed deprecated "call" and "use" keywords from syntax highlighters
Diffstat (limited to 'Test/VSI-Benchmarks/b5.dfy')
0 files changed, 0 insertions, 0 deletions