From 272ed89ed0120b68014ea0a59b40c396fa241b29 Mon Sep 17 00:00:00 2001
From: Jim Fehrle
Date: Thu, 8 Aug 2019 12:46:37 -0700
Subject: Fix regression of #10637 (-emacs arg sets color to `EMACS)

---
 test-suite/output/Emacs_and_diffs.out | 0
 test-suite/output/Emacs_and_diffs.v   | 3 +++
 2 files changed, 3 insertions(+)
 create mode 100644 test-suite/output/Emacs_and_diffs.out
 create mode 100644 test-suite/output/Emacs_and_diffs.v

(limited to 'test-suite')

diff --git a/test-suite/output/Emacs_and_diffs.out b/test-suite/output/Emacs_and_diffs.out
new file mode 100644
index 0000000000..e69de29bb2
diff --git a/test-suite/output/Emacs_and_diffs.v b/test-suite/output/Emacs_and_diffs.v
new file mode 100644
index 0000000000..c35fd1a11b
--- /dev/null
+++ b/test-suite/output/Emacs_and_diffs.v
@@ -0,0 +1,3 @@
+(* coq-prog-args: ("-emacs") *)
+Set Diffs "on".
+(* verify this does not produce an error message *)
-- 
cgit v1.2.3