# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 977433771 0
# Node ID 3347fac37b3db4759228ae724a19e4ea60094383
# Parent  de1f65fa5dcd3b45545b18235b49bd7fdec0af3a
Fix the same problem as described on ebnf2ps.el log
entry.  Doc fix.
(ebnf-bnf-lex): Code fix.
(ebnf-bnf-comment-chars): Const fix.

diff -r de1f65fa5dcd -r 3347fac37b3d lisp/progmodes/ebnf-bnf.el
--- a/lisp/progmodes/ebnf-bnf.el	Thu Dec 21 21:22:34 2000 +0000
+++ b/lisp/progmodes/ebnf-bnf.el	Thu Dec 21 21:22:51 2000 +0000
@@ -5,8 +5,8 @@
 ;; Author:     Vinicius Jose Latorre <vinicius@cpqd.com.br>
 ;; Maintainer: Vinicius Jose Latorre <vinicius@cpqd.com.br>
 ;; Keywords:   wp, ebnf, PostScript
-;; Time-stamp: <99/11/20 18:05:05 vinicius>
-;; Version:    1.4
+;; Time-stamp: <2000/12/19 15:29:04 vinicius>
+;; Version:    1.5
 
 ;; This file is part of GNU Emacs.
 
@@ -467,8 +467,10 @@
 	'terminal)
        ;; non-terminal or terminal
        ((eq token 'non-terminal)
+	;; replace the range "\240-\377" (see `ebnf-range-regexp').
 	(setq ebnf-bnf-lex (ebnf-buffer-substring
-			    "!#%&'*-,0-:<>@-Z\\^-z~\240-\377"))
+			    (ebnf-range-regexp "!#%&'*-,0-:<>@-Z\\^-z~"
+					       ?\240 ?\377)))
 	(let ((case-fold-search ebnf-case-fold-search)
 	      match)
 	  (if (and ebnf-terminal-regexp
@@ -505,7 +507,9 @@
        ))))
 
 
-(defconst ebnf-bnf-comment-chars "^\n\000-\010\016-\037\177-\237")
+;; replace the range "\177-\237" (see `ebnf-range-regexp').
+(defconst ebnf-bnf-comment-chars
+  (ebnf-range-regexp "^\n\000-\010\016-\037" ?\177 ?\237))
 
 
 (defun ebnf-bnf-skip-comment ()