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 | 44c908246d375995e0885cef212490e75bbcd96d (patch) | |
| tree | bdb7afa1c59046afdca07639406557a3e61c2465 /Test/dafny1 | |
| parent | e642ade1460b133d8bbd3882f1862a119cc9835f (diff) | |
Dafny: updated contracts to allow null parent (of the default module)
Diffstat (limited to 'Test/dafny1')
0 files changed, 0 insertions, 0 deletions