diff options
| author |  Rustan Leino <leino@microsoft.com> | 2012-06-29 12:49:58 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2012-06-29 12:49:58 -0700 |
| commit | 4e8899d2605278237e26312cc1a9461e50d3f4bc (patch) | |
| tree | fa8d2f02cb27d497dfaa1fccedf5d4a0d893003b /Source/Core | |
| parent | 89e8a9b1f46a0444288673fce343d37b82010f26 (diff) | |
Dafny: updated contracts to allow null parent (of the default module)
Diffstat (limited to 'Source/Core')
0 files changed, 0 insertions, 0 deletions