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