diff options
| author |  Rustan Leino <unknown> | 2014-04-15 16:55:47 -0700 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2014-04-15 16:55:47 -0700 |
| commit | 014fc54f9dd27d458b656b7aedf402dbb4f9c16a (patch) | |
| tree | 1a4d549ea428127968dc0f7027d6796eb915d32a /Test/dafny0/Answer | |
| parent | 37fc3dd154b1ebdb02ace4fc97c05de33ccb3adb (diff) | |
Cleaned up some no longer needed parentheses in test file
Diffstat (limited to 'Test/dafny0/Answer')
0 files changed, 0 insertions, 0 deletions