diff options
| author |  Jason Koenig <unknown> | 2012-06-27 17:28:08 -0700 |
|---|---|---|
| committer | Jason Koenig <unknown> | 2012-06-27 17:28:08 -0700 |
| commit | b0d0dba79a7c6692ed7ad8ed6ed38c989950a8f5 (patch) | |
| tree | 1daa233dffb55b6239c8e92a8203ce015b6b42ad /Test/dafny0 | |
| parent | b5815acebb5c810515f6cd5451ed28fb6b6a1804 (diff) | |
Dafny: fixed bug in which _module scope declarations were not verified.
Diffstat (limited to 'Test/dafny0')
0 files changed, 0 insertions, 0 deletions