From 5c9346db0592f3b51365bf72f46003bddbaf5398 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 29 Aug 2011 16:51:50 +0000
Subject: Non Unicode char

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

diff --git a/coq/coq.el b/coq/coq.el
index fd613ecc..d4a6288d 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -238,7 +238,7 @@ On Windows you might need something like:
 
 (defcustom coq-use-smie nil
   "If non-nil, Coq mode will try to use SMIE for indentation.
-SMIE is a navigation and indentation framework available in Emacs ≥ 23.3."
+SMIE is a navigation and indentation framework available in Emacs >= 23.3."
   :type 'boolean
   :group 'coq)
 
-- 
cgit v1.2.3