diff options
| author |  leino <unknown> | 2015-04-06 15:57:02 -0700 |
|---|---|---|
| committer | leino <unknown> | 2015-04-06 15:57:02 -0700 |
| commit | 985579d14df105de939807d1d344fc75ff49563d (patch) | |
| tree | 9b58c56e9d3f9a6d9d32e7f756a80825c0a2d514 /Test/dafny0/Trait/TraitOverride1.dfy.expect | |
| parent | f17ddacb785f5c1a50d5a7172f9f3d05676ec4c5 (diff) | |
Changed version to 1.9.3.20406 and updated copyright year to include 2015.
Diffstat (limited to 'Test/dafny0/Trait/TraitOverride1.dfy.expect')
0 files changed, 0 insertions, 0 deletions