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/Mirabelle/mirabelle_try0.ML
changeset 74948 15ce207f69c8
parent 73847 58f6b41efe88
child 75003 f21e7e6172a0 
--- a/src/HOL/Tools/Mirabelle/mirabelle_try0.ML	Wed Dec 15 23:18:41 2021 +0100
+++ b/src/HOL/Tools/Mirabelle/mirabelle_try0.ML	Fri Dec 17 09:51:37 2021 +0100
@@ -18,7 +18,7 @@
         "succeeded"
       else
         ""
-  in {run_action = run_action, finalize = K ""} end
+  in ("", {run_action = run_action, finalize = K ""}) end
 
 val () = Mirabelle.register_action "try0" make_action
isabelle