src/HOL/Tools/etc/options

--- a/src/HOL/Tools/etc/options	Thu Jun 03 10:58:15 2021 +0100
+++ b/src/HOL/Tools/etc/options	Fri Jun 04 23:03:12 2021 +0200
@@ -53,6 +53,9 @@
 option mirabelle_timeout : real = 30
   -- "default timeout for Mirabelle actions"
 
+option mirabelle_stride : int = 1
+  -- "default stride for running Mirabelle actions on every nth goal"
+
 option mirabelle_actions : string = ""
   -- "Mirabelle actions (outer syntax, separated by semicolons)"