# HG changeset patch
# User wenzelm
# Date 1569949704 -7200
# Node ID b52a12559d92e0b3cde437f50373242d9f1a1b11
# Parent  93aed7526a94cb0b3ec4b99d0a0772357c11086d
obsolete (see 60abd1e94168);

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"