diff options
author | 2014-04-03 18:28:56 -0700 | |
---|---|---|
committer | 2014-04-03 18:28:56 -0700 | |
commit | cd206ac033a1e369277f824dd3a13eca32f0396c (patch) | |
tree | 23f3d5863237de9def3f5c10cb4974dc3191ef14 /Test/dafny3/WideTrees.dfy | |
parent | 7c64906cd2eb3d0258b29e91bdc861743a05ff42 (diff) |
Added "modify" statement.
In a frame govered by a ghost context, ignore explicit mentions of `g if g is a ghost field.
Diffstat (limited to 'Test/dafny3/WideTrees.dfy')
0 files changed, 0 insertions, 0 deletions