src/HOL/Tools/etc/options

--- a/src/HOL/Tools/etc/options	Mon Jan 17 17:04:50 2022 +0000
+++ b/src/HOL/Tools/etc/options	Tue Jan 18 17:55:20 2022 +0100
@@ -56,6 +56,9 @@
 option mirabelle_max_calls : int = 0
   -- "max. no. of calls to each action (0: unbounded)"
 
+option mirabelle_randomize : int = 0
+  -- "seed to randomize the goals before selection (0: no randomization)"
+
 option mirabelle_output_dir : string = "mirabelle"
   -- "output directory for log files and generated artefacts"