diff options
Diffstat (limited to 'sysinit')
| -rw-r--r-- | sysinit/coqargs.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sysinit/coqargs.ml b/sysinit/coqargs.ml index faa26423e5..c4f12f6bb7 100644 --- a/sysinit/coqargs.ml +++ b/sysinit/coqargs.ml @@ -172,7 +172,7 @@ let add_set_option opts opt_name value = (** Options for proof general *) let set_emacs opts = - Goptions.set_bool_option_value Printer.print_goal_tag_opt_name true; + let opts = add_set_option opts Printer.print_goal_tag_opt_name (OptionSet None) in { opts with config = { opts.config with print_emacs = true }} let set_logic f oval = |