# HG changeset patch
# User Joseph Arceneaux <jla@gnu.org>
# Date 717904329 0
# Node ID d9a103f4843eca2ba10f3b4d7125af3cfe0bd6f8
# Parent  7c32612174c35712f6b558b8342b70d5b19a9dc6
(describe_syntax): Use insert_char to insert `match'.

diff -r 7c32612174c3 -r d9a103f4843e src/syntax.c
--- a/src/syntax.c	Thu Oct 01 01:22:22 1992 +0000
+++ b/src/syntax.c	Thu Oct 01 01:52:09 1992 +0000
@@ -427,9 +427,7 @@
   if (match)
     {
       insert_string (", matches ");
-      
-      str[0] = match, str[1] = 0;
-      insert (str, 1);
+      insert_char (match);
     }
 
   if (start1)