Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/SMT/smt_config.ML
changeset 50317 4d1590544b91
parent 48043 3ff2c76c9f64
child 51575 907efc894051 
--- a/src/HOL/Tools/SMT/smt_config.ML	Mon Dec 03 15:23:36 2012 +0100
+++ b/src/HOL/Tools/SMT/smt_config.ML	Mon Dec 03 16:07:28 2012 +0100
@@ -202,7 +202,7 @@
   else
     Path.explode name
     |> Path.append (Thy_Load.master_directory (Context.theory_of context))
-    |> SOME o Cache_IO.make)
+    |> SOME o Cache_IO.unsynchronized_init)
 
 val certificates_of = Certificates.get o Context.Proof
isabelle