--- a/src/HOL/TPTP/MaSh_Export.thy Wed Dec 11 00:17:09 2013 +0000
+++ b/src/HOL/TPTP/MaSh_Export.thy Wed Dec 11 18:02:22 2013 +0100
@@ -19,7 +19,7 @@
hide_fact (open) HOL.ext
ML {*
-!Multithreading.max_threads
+Multithreading.max_threads_value ()
*}
ML {*