| changeset 41601 | fda8511006f9 |
| parent 41432 | 3214c39777ab |
| child 47152 | 446cfc760ccf |
--- a/src/HOL/Boogie/Examples/Boogie_Max.thy Sun Jan 16 21:10:30 2011 +0100 +++ b/src/HOL/Boogie/Examples/Boogie_Max.thy Mon Jan 17 17:45:52 2011 +0100 @@ -41,7 +41,7 @@ declare [[smt_certificates="Boogie_Max.certs"]] declare [[smt_fixed=true]] -declare [[smt_solver=z3, smt_oracle=false]] +declare [[smt_oracle=false]] boogie_vc max by boogie