| changeset 36081 | 70deefb6c093 |
| parent 35153 | 5e8935678ee4 |
| child 40163 | a462d5207aa6 |
--- a/src/HOL/Boogie/Examples/VCC_Max.thy Wed Apr 07 17:24:44 2010 +0200 +++ b/src/HOL/Boogie/Examples/VCC_Max.thy Wed Apr 07 19:48:58 2010 +0200 @@ -47,7 +47,7 @@ boogie_open (quiet) "~~/src/HOL/Boogie/Examples/VCC_Max" declare [[smt_certificates="~~/src/HOL/Boogie/Examples/VCC_Max.certs"]] -declare [[smt_record=false]] +declare [[smt_fixed=true]] boogie_status