diff options
Diffstat (limited to 'toplevel/command.ml')
| -rw-r--r-- | toplevel/command.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/toplevel/command.ml b/toplevel/command.ml index 7d615028e..48a5119d1 100644 --- a/toplevel/command.ml +++ b/toplevel/command.ml @@ -272,7 +272,7 @@ let _ = declare_bool_option { optsync = true; optname = "automatic declaration of boolean equality"; - optkey = (SecondaryTable ("Equality","Scheme")); + optkey = ["Equality";"Scheme"]; optread = (fun () -> !eq_flag) ; optwrite = (fun b -> eq_flag := b) } @@ -640,7 +640,7 @@ let _ = declare_bool_option { optsync = true; optname = "automatic declaration of eliminations"; - optkey = (SecondaryTable ("Elimination","Schemes")); + optkey = ["Elimination";"Schemes"]; optread = (fun () -> !elim_flag) ; optwrite = (fun b -> elim_flag := b) } |