diff options
author | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-10-19 17:06:28 -0700 |
---|---|---|
committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-10-19 17:06:28 -0700 |
commit | f8e36475b2abbf642408a8aae0bbce70ab7c86dd (patch) | |
tree | fc430e1340f2b07c80073dd84eb08d91ed02f402 /Test/dafny3 | |
parent | b8b483f2529746a2fee7378b2fabb8dcf3e048fd (diff) |
Disallow modifies clauses on comethods
Diffstat (limited to 'Test/dafny3')
0 files changed, 0 insertions, 0 deletions