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 /Util/Emacs/dafny-mode.el | |
parent | 89e8a9b1f46a0444288673fce343d37b82010f26 (diff) |
Dafny: updated contracts to allow null parent (of the default module)
Diffstat (limited to 'Util/Emacs/dafny-mode.el')
0 files changed, 0 insertions, 0 deletions