Remove undefined_gen option in isla-sail

rems-project · Dec 8, 2023 · 3fa4750 · 3fa4750
1 parent b1d9314
commit 3fa4750
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/isla-sail/sail_plugin_isla.ml b/isla-sail/sail_plugin_isla.ml
@@ -359,7 +359,6 @@ let isla_initialize () =
   Nl_flow.opt_nl_flow := true;
   Type_check.opt_no_lexp_bounds_check := true;
   Reporting.opt_warnings := false;
-  Initial_check.opt_undefined_gen := true;
   Initial_check.opt_magic_hash := true;
 
   Specialize.add_initial_calls (IdSet.singleton (mk_id "isla_footprint"));