| changeset 40513 | 1204d268464f |
| parent 40163 | a462d5207aa6 |
| child 40514 | db5f14910dce |
--- a/src/HOL/Boogie/Examples/VCC_Max.thy Fri Nov 12 15:56:06 2010 +0100 +++ b/src/HOL/Boogie/Examples/VCC_Max.thy Fri Nov 12 15:56:07 2010 +0100 @@ -46,7 +46,7 @@ boogie_open (quiet) "~~/src/HOL/Boogie/Examples/VCC_Max" -declare [[smt_certificates="~~/src/HOL/Boogie/Examples/VCC_Max.certs"]] +declare [[smt_certificates="VCC_Max.certs"]] declare [[smt_fixed=true]] declare [[smt_oracle=false]]