--- a/src/HOL/Tools/SMT/smt_config.ML Tue Feb 04 22:12:06 2025 +0100
+++ b/src/HOL/Tools/SMT/smt_config.ML Tue Feb 04 22:21:36 2025 +0100
@@ -234,8 +234,8 @@
fun select_certificates name context = context |> put_certificates (
if name = "" then NONE
else
- (Resources.master_directory (Context.theory_of context) + Path.explode name)
- |> SOME o Cache_IO.unsynchronized_init)
+ let val dir = Resources.master_directory (Context.theory_of context) + Path.explode name
+ in SOME (Cache_IO.unsynchronized_init dir) end);
val setup_certificates =
Attrib.setup \<^binding>\<open>smt_certificates\<close>