diff options
| author |  Rustan Leino <unknown> | 2015-08-28 13:42:59 -0700 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2015-08-28 13:42:59 -0700 |
| commit | d0fb19ff74b0397749362beedf39ffb8d1c623a9 (patch) | |
| tree | b0ec30fe7c9c32aa5c96824885da89e40bb07971 /Test/dafny0 | |
| parent | 2622988de3a0d07524f35fd28f39fb0518dad88e (diff) | |
Fixed spelling mistake in test file
Diffstat (limited to 'Test/dafny0')
0 files changed, 0 insertions, 0 deletions