From 47bb1863bb8fd2862bf609783913e5f9f16c6822 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Fri, 6 Oct 2006 13:01:19 +0000
Subject: Fix for coq-utf-safe.

---
 coq/coq.el | 1 +
 1 file changed, 1 insertion(+)

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