diff -r fd218201da5e -r 1204d268464f src/HOL/SMT_Examples/SMT_Tests.thy
--- a/src/HOL/SMT_Examples/SMT_Tests.thy	Fri Nov 12 15:56:06 2010 +0100
+++ b/src/HOL/SMT_Examples/SMT_Tests.thy	Fri Nov 12 15:56:07 2010 +0100
@@ -9,7 +9,7 @@
 begin
 
 declare [[smt_solver=z3, smt_oracle=false]]
-declare [[smt_certificates="~~/src/HOL/SMT_Examples/SMT_Tests.certs"]]
+declare [[smt_certificates="SMT_Tests.certs"]]
 declare [[smt_fixed=true]]