diff options
| author |  Rustan Leino <unknown> | 2014-11-05 13:49:25 -0800 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2014-11-05 13:49:25 -0800 |
| commit | ae0982daf944f7e79fc6b8d73afd1f62f943d7ed (patch) | |
| tree | 59fb8a4d0f68478eb1b02cb008db30308c6d3690 /Test/dafny1/ListContents.dfy.expect | |
| parent | d4fe7d02d33325b3b49db21654dcf4d6dd3868ad (diff) | |
| parent | 96b2f1267a9ec881682d1b9cc96311eafef4d393 (diff) | |
Merge
Diffstat (limited to 'Test/dafny1/ListContents.dfy.expect')
| -rw-r--r-- | Test/dafny1/ListContents.dfy.expect | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/dafny1/ListContents.dfy.expect b/Test/dafny1/ListContents.dfy.expect index 249e77e5..f3a9c95f 100644 --- a/Test/dafny1/ListContents.dfy.expect +++ b/Test/dafny1/ListContents.dfy.expect @@ -1,2 +1,2 @@ -Dafny program verifier finished with 9 verified, 0 errors
+Dafny program verifier finished with 11 verified, 0 errors
|