Fix for coq-utf-safe.

1 files changed, 1 insertions, 0 deletions

diff --git a/coq/coq.el b/coq/coq.el
index ca187a61..f1d1269d 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -42,6 +42,7 @@
 (defcustom coq-prog-args '("-emacs") 
   "The arguments passed to coqtop, important: see `proof-prog-name'.")
 
+(defcustom coq-utf-safe "" nil)
 (if coq-utf-safe (setq coq-prog-args '("-emacs-U"))
   (setq coq-prog-args '("-emacs")))