summaryrefslogtreecommitdiff
path: root/Test
diff options
context:
space:
mode:
authorGravatar qunyanm <unknown>2016-02-12 19:16:15 -0800
committerGravatar qunyanm <unknown>2016-02-12 19:16:15 -0800
commitd3063bebb513c36edcfd035b62308a917e4deecc (patch)
tree006f855c1a98f0bbf6999af3ae1a7b5c7127e988 /Test
parent91a0cf94be3cdfaff29d65122c9ea031a1a4976b (diff)
Update the test's .expect file since the fix is merged into boogie.
Diffstat (limited to 'Test')
-rw-r--r--Test/dafny4/Bug128.dfy.expect2
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