etc/options

--- a/etc/options	Mon Oct 07 10:51:20 2019 +0200
+++ b/etc/options	Mon Oct 07 11:35:43 2019 +0200
@@ -225,9 +225,6 @@
 option headless_load_limit : int = 100
   -- "limit for loaded theories (0 = unlimited)"
 
-option dump_checkpoint : bool = false
-  -- "mark individual theories to share common data in ML"
-
 
 section "Miscellaneous Tools"