From d414273bbd53681baecf3ddc6d343243c80e8103 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Wed, 6 Jan 2021 18:21:55 +0100
Subject: [coqargs] use standard option injection for -print-emacs

---
 sysinit/coqargs.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'sysinit')

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 =
-- 
cgit v1.2.3