diff options
author | Reza Ahmadi <reza.ahmadi@uta.fi> | 2014-07-20 16:54:34 +0300 |
---|---|---|
committer | Reza Ahmadi <reza.ahmadi@uta.fi> | 2014-07-20 16:54:34 +0300 |
commit | 2c9d68a529b04dcb1c18025306713644a602833c (patch) | |
tree | 0858218a118f44ab04623c383cfd4f38fb9a99f6 /Test/dafny0/Trait | |
parent | 7e04037cabe8b39eab697171f1086f74fbbb7159 (diff) |
fixed one .expect file. now all 11 tests related to Traits pass.
Diffstat (limited to 'Test/dafny0/Trait')
-rw-r--r-- | Test/dafny0/Trait/TraitOverride3.dfy.expect | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/dafny0/Trait/TraitOverride3.dfy.expect b/Test/dafny0/Trait/TraitOverride3.dfy.expect index f5019f3b..5f41963f 100644 --- a/Test/dafny0/Trait/TraitOverride3.dfy.expect +++ b/Test/dafny0/Trait/TraitOverride3.dfy.expect @@ -1,2 +1,2 @@ -Dafny program verifier finished with 14 verified, 0 errors
+Dafny program verifier finished with 17 verified, 0 errors
|