diff -r 93aed7526a94 -r b52a12559d92 etc/options
--- a/etc/options	Tue Oct 01 11:42:23 2019 +0200
+++ b/etc/options	Tue Oct 01 19:08:24 2019 +0200
@@ -219,9 +219,6 @@
 option headless_load_limit : int = 0
   -- "limit for loaded theories (0 = unlimited)"
 
-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"