From e4b4155b3813f0eedf808ece4b0aef86c8abc1c0 Mon Sep 17 00:00:00 2001
From: Paul Steckler
Date: Wed, 19 Jul 2017 11:39:33 -0400
Subject: changed -emacs-U flag to -emacs

---
 coq/coq-system.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/coq/coq-system.el b/coq/coq-system.el
index 9d6a9589..8da4ea23 100644
--- a/coq/coq-system.el
+++ b/coq/coq-system.el
@@ -384,7 +384,7 @@ LOAD-PATH, CURRENT-DIRECTORY, PRE-V85: see `coq-include-options'."
 LOAD-PATH, CURRENT-DIRECTORY, PRE-V85: see `coq-include-options'."
   ;; coqtop always adds the current directory to the LoadPath, so don't
   ;; include it in the -Q options.
-  (append (remove "-emacs" (remove "-emacs-U" coq-prog-args))
+  (append (remove "-emacs" coq-prog-args)
           (let ((coq-load-path-include-current nil)) ; Not needed in >=8.5beta3
             (coq-coqdep-prog-args coq-load-path current-directory pre-v85))))
 
@@ -654,7 +654,7 @@ then be set using local file variables."
             (setq coq-prog-args nil)
             (concat
              (substring command 0 (string-match " [^ ]*$" command))
-             "-emacs-U"))
+             "-emacs"))
         coq-prog-name))))
 
 ;;; coq-system.el ends here
-- 
cgit v1.2.3