
diff -r 269a39b6c5f8 -r dbd69d287ec6 src/HOL/SMT_Examples/SMT_Examples_Verit.thy
--- a/src/HOL/SMT_Examples/SMT_Examples_Verit.thy	Fri Oct 01 12:45:47 2021 +0200
+++ b/src/HOL/SMT_Examples/SMT_Examples_Verit.thy	Fri Oct 01 22:35:32 2021 +0200
@@ -13,7 +13,7 @@
 begin
 
 external_file \<open>SMT_Examples_Verit.certs\<close>
- 
+
 declare [[smt_certificates = "SMT_Examples_Verit.certs"]]
 declare [[smt_read_only_certificates = true]]
 




