# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 771371589 0
# Node ID 9687141f6264daa773e34b4b007a3bf364b678e3
# Parent  69ec123ef3107231fbdeadf35030d9ea0b206e40
(Freplace_match): Be sure not to treat non-digit like digit.

diff -r 69ec123ef310 -r 9687141f6264 src/search.c
--- a/src/search.c	Sat Jun 11 20:18:46 1994 +0000
+++ b/src/search.c	Sat Jun 11 21:53:09 1994 +0000
@@ -1273,7 +1273,7 @@
 		  (Fcurrent_buffer (),
 		   make_number (search_regs.start[0] + offset),
 		   make_number (search_regs.end[0] + offset));
-	      else if (c >= '1' && c <= search_regs.num_regs + '0')
+	      else if (c >= '1' && c <= '9' && c <= search_regs.num_regs + '0')
 		{
 		  if (search_regs.start[c - '0'] >= 1)
 		    Finsert_buffer_substring