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/Sledgehammer/sledgehammer.ML
changeset 75056 04a4881ff0fd
parent 75054 ec18dcd6e85f
child 75060 789e0e1a9e33 
--- a/src/HOL/Tools/Sledgehammer/sledgehammer.ML	Tue Feb 01 16:16:50 2022 +0100
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer.ML	Tue Feb 01 17:11:26 2022 +0100
@@ -445,7 +445,7 @@
                    if Synchronized.value found_proofs < max_proofs then
                      launch problem slice prover
                    else
-                     (SH_Unknown, ""))
+                     (SH_None, ""))
                  prover_slices
                |> max_outcome)
           end
isabelle