diff options
| author |  qunyanm <unknown> | 2016-02-12 19:16:15 -0800 |
|---|---|---|
| committer | qunyanm <unknown> | 2016-02-12 19:16:15 -0800 |
| commit | d3063bebb513c36edcfd035b62308a917e4deecc (patch) | |
| tree | 006f855c1a98f0bbf6999af3ae1a7b5c7127e988 | |
| parent | 91a0cf94be3cdfaff29d65122c9ea031a1a4976b (diff) | |
Update the test's .expect file since the fix is merged into boogie.
| -rw-r--r-- | Test/dafny4/Bug128.dfy.expect | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/Test/dafny4/Bug128.dfy.expect b/Test/dafny4/Bug128.dfy.expect index 700ad964..c0c48e2b 100644 --- a/Test/dafny4/Bug128.dfy.expect +++ b/Test/dafny4/Bug128.dfy.expect @@ -1,4 +1,2 @@ -Prover warning: pattern does not contain all quantified variables.
-Prover warning: pattern does not contain all quantified variables.
Dafny program verifier finished with 1 verified, 0 errors
|