--- a/src/HOL/Tools/etc/options Sat Jun 12 12:39:33 2021 +0200
+++ b/src/HOL/Tools/etc/options Sat Jun 12 15:37:25 2021 +0200
@@ -56,8 +56,8 @@
option mirabelle_stride : int = 1
-- "default stride for running Mirabelle actions on every nth goal"
-option mirabelle_max_calls : int = 10000000
- -- "default max. no. of calls to each Mirabelle action"
+option mirabelle_max_calls : int = 0
+ -- "default max. no. of calls to each Mirabelle action (0: unbounded)"
option mirabelle_actions : string = ""
-- "Mirabelle actions (outer syntax, separated by semicolons)"