diff options
author | 2015-04-05 01:56:49 -0700 | |
---|---|---|
committer | 2015-04-05 01:56:49 -0700 | |
commit | e9c7c508c1900e6195164d263c9249e3c7b56b51 (patch) | |
tree | 015bbdd42d118838ed4d2a758444d7e1eb55d46b /Test/dafny0/SeqFromArray.dfy.expect | |
parent | cee337934c619bfeb646d83243eff1f08e83902d (diff) |
Fixed some bugs in override axioms (but still missing support for classes with type parameters).
Resolve ClassDecl.TraitsTyp as types.
Moved declaration of TraitParent and NoTraitAtAll to prelude.
Diffstat (limited to 'Test/dafny0/SeqFromArray.dfy.expect')
0 files changed, 0 insertions, 0 deletions