diff options
author | leino <unknown> | 2015-04-07 18:20:21 -0700 |
---|---|---|
committer | leino <unknown> | 2015-04-07 18:20:21 -0700 |
commit | 196888695fd805997b02c367d90ac3fbfef32370 (patch) | |
tree | 13ef4843bafa3785c66e34ee952ee2b2f7ef915e /Test/dafny0/Trait/TraitOverride1.dfy.expect | |
parent | 985579d14df105de939807d1d344fc75ff49563d (diff) |
Revised look-up and compilation of inherited trait members (static functions/methods don't work yet)
Diffstat (limited to 'Test/dafny0/Trait/TraitOverride1.dfy.expect')
-rw-r--r-- | Test/dafny0/Trait/TraitOverride1.dfy.expect | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/dafny0/Trait/TraitOverride1.dfy.expect b/Test/dafny0/Trait/TraitOverride1.dfy.expect index 85c793d4..26aac19c 100644 --- a/Test/dafny0/Trait/TraitOverride1.dfy.expect +++ b/Test/dafny0/Trait/TraitOverride1.dfy.expect @@ -1,2 +1,2 @@ -Dafny program verifier finished with 58 verified, 0 errors
+Dafny program verifier finished with 50 verified, 0 errors
|