Add a change that should have been part of 6e4db6e9172a55a983105c8e73c89987ce97308a.

diff --git a/VEX/priv/main_main.c b/VEX/priv/main_main.c
index eb77bfd6a0ed672a6c9823de4af1d124671c4d1f..0da2b46670422f7cb30a34c3a69266a2b78bdc46 100644 (file)
--- a/VEX/priv/main_main.c
+++ b/VEX/priv/main_main.c
@@ -191,8 +191,7 @@ void LibVEX_default_VexControl ( /*OUT*/ VexControl* vcon )
    vcon->iropt_register_updates_default = VexRegUpdUnwindregsAtMemAccess;
    vcon->iropt_unroll_thresh            = 120;
    vcon->guest_max_insns                = 60;
-   vcon->guest_chase_thresh             = 10;
-   vcon->guest_chase_cond               = False;
+   vcon->guest_chase                    = True;
    vcon->regalloc_version               = 3;
 }
 
@@ -229,10 +228,7 @@ void LibVEX_Init (
    vassert(vcon->iropt_unroll_thresh <= 400);
    vassert(vcon->guest_max_insns >= 1);
    vassert(vcon->guest_max_insns <= 100);
-   vassert(vcon->guest_chase_thresh >= 0);
-   vassert(vcon->guest_chase_thresh < vcon->guest_max_insns);
-   vassert(vcon->guest_chase_cond == True 
-           || vcon->guest_chase_cond == False);
+   vassert(vcon->guest_chase == False || vcon->guest_chase == True);
    vassert(vcon->regalloc_version == 2 || vcon->regalloc_version == 3);
 
    /* Check that Vex has been built with sizes of basic types as