# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1128274765 0
# Node ID acecec3cf0598c9660cb4bc9ccc7e4372397cfb3
# Parent  8c8e6f2eea3cebc7c92d2c372ac8fa29121e70aa
(ebnf-eps-production-list): Use insert-buffer-substring.

diff -r 8c8e6f2eea3c -r acecec3cf059 lisp/progmodes/ebnf2ps.el
--- a/lisp/progmodes/ebnf2ps.el	Sun Oct 02 17:37:34 2005 +0000
+++ b/lisp/progmodes/ebnf2ps.el	Sun Oct 02 17:39:25 2005 +0000
@@ -4261,7 +4261,7 @@
 	      ebnf-eps-max-height prod-height))
        )
       (setq ebnf-eps-prod-width prod-width)
-      (insert-buffer eps-buffer))
+      (insert-buffer-substring eps-buffer))
     (setq prod-list (cdr prod-list))))