diff options
author | Rustan Leino <unknown> | 2013-01-23 18:14:00 -0800 |
---|---|---|
committer | Rustan Leino <unknown> | 2013-01-23 18:14:00 -0800 |
commit | 323ef22b89add46d8178bd51b06f05e8a750f4dd (patch) | |
tree | 0ab7829cf2a0202a8879d9c77f0b8565076eadc6 /Test/dafny1 | |
parent | 1005adb004baf133b265eda5bfdc53022437e6ef (diff) |
Fixed printing of Dafny version number.
Diffstat (limited to 'Test/dafny1')
0 files changed, 0 insertions, 0 deletions