etc/options

--- a/etc/options	Thu Aug 29 15:43:05 2019 +0200
+++ b/etc/options	Thu Aug 29 17:13:49 2019 +0200
@@ -219,6 +219,9 @@
 option execution_eager : bool = false
   -- "prefer theories with shorter stack of decendants"
 
+option dump_checkpoint : bool = false
+  -- "mark individual theories to share common data in ML"
+
 
 section "Miscellaneous Tools"