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/TPTP/mash_eval.ML
changeset 74981 10df7a627ab6
parent 73979 e5322146e7e8
child 75044 38e24aeeedb8 
--- a/src/HOL/TPTP/mash_eval.ML	Tue Jan 11 12:08:03 2022 +0100
+++ b/src/HOL/TPTP/mash_eval.ML	Tue Jan 11 22:07:04 2022 +0100
@@ -106,7 +106,7 @@
               let
                 val prob_prefix = "goal_" ^ string_of_int j ^ "__" ^ encode_str name ^ "__" ^ method
               in
-                Config.put atp_dest_dir dir
+                Config.put atp_problem_dest_dir dir
                 #> Config.put atp_problem_prefix (prob_prefix ^ "__")
                 #> Config.put SMT_Config.debug_files (dir ^ "/" ^ prob_prefix)
               end
isabelle