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 | 9ef369da500431d5bc742c2d5dcf3fbaa16246dd (patch) | |
| tree | 0364292457b10e1d651cafd3bf5e8cfae0435521 /Test/dafny1 | |
| parent | 1f77d314a4dcd46f55e2a89f01a97fc33a8b419e (diff) | |
Dafny: fixed bug in which _module scope declarations were not verified.
Diffstat (limited to 'Test/dafny1')
0 files changed, 0 insertions, 0 deletions