diff options
| -rw-r--r-- | contrib/extraction/table.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/extraction/table.ml b/contrib/extraction/table.ml index 2c7a901c9d..54b083e18a 100644 --- a/contrib/extraction/table.ml +++ b/contrib/extraction/table.ml @@ -258,7 +258,7 @@ let _ = declare_bool_option {optsync = true; optname = "Extraction Optimize"; optkey = SecondaryTable ("Extraction", "Optimize"); - optread = (fun () -> !int_flag_ref = 0); + optread = (fun () -> !int_flag_ref <> 0); optwrite = (fun b -> chg_flag (if b then int_flag_init else 0))} let _ = declare_int_option |