diff options
Diffstat (limited to 'Test/vacid0/Answer')
-rw-r--r-- | Test/vacid0/Answer | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/vacid0/Answer b/Test/vacid0/Answer index 6f270f92..90bbcc78 100644 --- a/Test/vacid0/Answer +++ b/Test/vacid0/Answer @@ -9,4 +9,4 @@ Dafny program verifier finished with 9 verified, 0 errors -------------------- Composite.dfy --------------------
-Dafny program verifier finished with 14 verified, 0 errors
+Dafny program verifier finished with 16 verified, 0 errors
|