diff options
| author |  Reza Ahmadi <reza.ahmadi@uta.fi> | 2014-12-03 12:44:41 +0200 |
|---|---|---|
| committer | Reza Ahmadi <reza.ahmadi@uta.fi> | 2014-12-03 12:44:41 +0200 |
| commit | c5d7c43605d832cc64e16c66a2c830a880a3d3a2 (patch) | |
| tree | 2a11e88fa879a224cadd9f488ffbd78b4c35b5d2 /Test/dafny0/Trait/Traits-Fields.dfy | |
| parent | fc43d9d56bdf3cae68bb15871f074149d1381c6a (diff) | |
added multiple trait inheritance.
- a class can now extend more than one traits
Diffstat (limited to 'Test/dafny0/Trait/Traits-Fields.dfy')
| -rw-r--r-- | Test/dafny0/Trait/Traits-Fields.dfy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/dafny0/Trait/Traits-Fields.dfy b/Test/dafny0/Trait/Traits-Fields.dfy index c215ecf8..41f596b4 100644 --- a/Test/dafny0/Trait/Traits-Fields.dfy +++ b/Test/dafny0/Trait/Traits-Fields.dfy @@ -21,7 +21,7 @@ method Main() assert j.x + 1 == c.x;
j := c;
- //assert j.x == 9;
+ //assert j.x == 9; //why this does not hold??
print "j"; Print(j);
print "c"; Print(c);
|