src/HOL/Mirabelle.thy

--- a/src/HOL/Mirabelle.thy	Wed Dec 15 23:18:41 2021 +0100
+++ b/src/HOL/Mirabelle.thy	Fri Dec 17 09:51:37 2021 +0100
@@ -13,7 +13,7 @@
 
 ML \<open>
 signature MIRABELLE_ACTION = sig
-  val make_action : Mirabelle.action_context -> Mirabelle.action
+  val make_action : Mirabelle.action_context -> string * Mirabelle.action
 end
 \<close>