From 34d8e9e42a7861469d059ada1edbd325f9ae0a0f Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Fri, 23 Apr 2004 12:50:03 +0000
Subject: fixed the need input_spec warning.

---
 coq/x-symbol-coq.el | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/coq/x-symbol-coq.el b/coq/x-symbol-coq.el
index 068def97..98c53c09 100644
--- a/coq/x-symbol-coq.el
+++ b/coq/x-symbol-coq.el
@@ -52,7 +52,8 @@ See `x-symbol-header-groups-alist'."
    :decode-spec nil
    ;; decode-spec seems to go with highlighting encoding??
    :decode-regexp "\\([a-zA-Z0-9]+\\)\\|\\([]><=\\/~&+-*%!{}:-]+\\)"
-   :token-list #'x-symbol-coq-default-token-list))
+   :token-list #'x-symbol-coq-default-token-list
+	:input-spec nil))
 
 ;(defvar x-symbol-coq-input-token-grammar
 ;  '("\\([_'a-zA-Z0-9]+\\)\\|\\([]><=\\/~&+-*%!{}:-]+\\)"
@@ -93,7 +94,6 @@ See `x-symbol-header-groups-alist'."
 ;;;===========================================================================
 ;;  super- and subscripts
 ;;;===========================================================================
-;not implemeted yet
 
 (defcustom x-symbol-coq-subscript-matcher 'x-symbol-coq-subscript-matcher
   "Function matching super-/subscripts for language `isa'.
@@ -164,7 +164,7 @@ or subscript tag."
       (setq x-symbol-coq-subscript-type
             (funcall x-symbol-coq-subscript-matcher limit))))
 
-;(defvar x-symbol-coq-font-lock-keywords nil)
+
 
 (defvar x-symbol-coq-font-lock-allowed-faces t)
 ;;;===========================================================================
-- 
cgit v1.2.3