diff options
| author |  Michael Lowell Roberts <mirobert@microsoft.com> | 2015-07-22 11:13:14 -0700 |
|---|---|---|
| committer | Michael Lowell Roberts <mirobert@microsoft.com> | 2015-07-22 11:13:14 -0700 |
| commit | fb4915bc1b95d182b08a45c85d92046489ed1078 (patch) | |
| tree | 8b78d4286fa48d36bbc06e03f57408059b6d6db2 /Source/DafnyExtension | |
| parent | 8e25cc2331e4f90d7674f3b3bb218f65f7e93797 (diff) | |
IronDafny related changes:
- diabled error message related to ensures clauses requiring function bodies in the case of abstract modules.
- fixed bug in similar error message related to bodyless methods in abstract modules.
Diffstat (limited to 'Source/DafnyExtension')
0 files changed, 0 insertions, 0 deletions