diff options
| author |  Jason Koenig <unknown> | 2012-06-28 14:37:27 -0700 |
|---|---|---|
| committer | Jason Koenig <unknown> | 2012-06-28 14:37:27 -0700 |
| commit | cd498c42f796d5e1cd7d5afd57da1310232e4c4c (patch) | |
| tree | cb7ee4c6126057b76b63aa3f643463f2214e8d39 /Test/dafny1 | |
| parent | 4cf0bf6e03980c121d308727284a4ab8be3e362f (diff) | |
Dafny: fixed bug with translation of class._System.object;
Diffstat (limited to 'Test/dafny1')
0 files changed, 0 insertions, 0 deletions