# HG changeset patch
# User wenzelm
# Date 1738697484 -3600
# Node ID 22d521925afceab97e1195660d0ce0d1cb8b0063
# Parent  879be333e939a37bab5466bdc34aeea61dceb560
tuned English prose;

diff -r 879be333e939 -r 22d521925afc src/HOL/SMT.thy
--- a/src/HOL/SMT.thy	Mon Feb 03 20:22:51 2025 +0100
+++ b/src/HOL/SMT.thy	Tue Feb 04 20:31:24 2025 +0100
@@ -731,7 +731,7 @@
 
 text \<open>
 By setting the option \<open>smt_certificates\<close> to the name of a file,
-all following applications of an SMT solver a cached in that file.
+all following applications of an SMT solver are cached in that file.
 Any further application of the same SMT solver (using the very same
 configuration) re-uses the cached certificate instead of invoking the
 solver. An empty string disables caching certificates.