src/HOL/Tools/etc/options

--- a/src/HOL/Tools/etc/options	Sat Aug 22 23:11:48 2020 +0200
+++ b/src/HOL/Tools/etc/options	Sat Aug 22 23:22:25 2020 +0200
@@ -37,3 +37,6 @@
 
 public option MaSh : string = "sml"
   -- "machine learning algorithm to use by Sledgehammer (nb_knn, nb, knn, none)"
+
+public option kodkod_scala : bool = false
+  -- "invoke Nitpick/Kodkod via Isabelle/Scala (instead of external process)"