diff options
| author |  Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-06-22 17:19:36 -0700 |
|---|---|---|
| committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-06-22 17:19:36 -0700 |
| commit | 7027b06052d7773b1c363dfa2984b57d3f8690fb (patch) | |
| tree | 19d8d910a71150d993323fec724999cd5d463a1b /Dafny/Resolver.cs | |
| parent | 2d63e53e2590303ed833b6552f8a2d383176958a (diff) | |
Dafny: allow "assume ..." as a refining statement (provided it replaces an "assume E")
Diffstat (limited to 'Dafny/Resolver.cs')
0 files changed, 0 insertions, 0 deletions