From 3bd365769b79cd8719b4c8078755b68912dd4c6d Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Wed, 12 Dec 2007 12:27:55 +0000
Subject: Compatibility with coq trunk where some special symbols are removed.

---
 generic/proof-shell.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'generic')

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index e97fdd52..9d806a86 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -434,8 +434,8 @@ Does nothing if proof assistant is already running."
 		(setq proof-eagerly-raise nil))
 	      ;; Set mode for goals buffer
 	      (set-buffer proof-goals-buffer)
-	      (and (fboundp 'toggle-enable-multibyte-characters)
-		   (toggle-enable-multibyte-characters -1))
+;	      (and (fboundp 'toggle-enable-multibyte-characters)
+;		   (toggle-enable-multibyte-characters -1))
 	      (funcall proof-mode-for-goals)
 	      ;; Setting modes initialises local variables which
 	      ;; may affect frame/buffer appearance: so we fire up frames
-- 
cgit v1.2.3