diff options
| author |  Jason Koenig <unknown> | 2012-06-13 11:54:11 -0700 |
|---|---|---|
| committer | Jason Koenig <unknown> | 2012-06-13 11:54:11 -0700 |
| commit | 7cabbe6e10f11b90df4e4b5f5a3bb1c2253b87c5 (patch) | |
| tree | 3600184e04e2deac3734da843283940361571fc6 /Dafny/Translator.cs | |
| parent | f2eb93519ffd02b775d427d2909cebd0690dc090 (diff) | |
Dafny: liberalized equality to work when the types could possibly be the same
(i.e. a != b is allowed when a: array<int> and b: array<T>)
Diffstat (limited to 'Dafny/Translator.cs')
0 files changed, 0 insertions, 0 deletions