* fileio.c (Finsert_file_contents): Remove unused local.

Fixes: debbugs:8447

2 files changed, 5 insertions, 4 deletions

diff --git a/src/ChangeLog b/src/ChangeLog
index 56e13da832a..bfc51b8c5ff 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,7 @@
+2013-05-31  Paul Eggert  <eggert@cs.ucla.edu>
+
+        * fileio.c (Finsert_file_contents): Remove unused local (Bug#8447).
+
 2013-05-29  Eli Zaretskii  <eliz@gnu.org>
 
         * Makefile.in (mostlyclean): Remove *.res files.
diff --git a/src/fileio.c b/src/fileio.c
index e2b1007fb0b..75e1f13a09b 100644
--- a/src/fileio.c
+++ b/src/fileio.c
@@ -3489,7 +3489,6 @@ by calling `format-decode', which see.  */)
   EMACS_TIME mtime;
   int fd;
   ptrdiff_t inserted = 0;
-  bool nochange = 0;
   ptrdiff_t how_much;
   off_t beg_offset, end_offset;
   int unprocessed;
@@ -4060,9 +4059,7 @@ by calling `format-decode', which see.  */)
       if (bufpos == inserted)
         {
           /* Truncate the buffer to the size of the file.  */
-          if (same_at_start == same_at_end)
-            nochange = 1;
-          else
+          if (same_at_start != same_at_end)
             del_range_byte (same_at_start, same_at_end, 0);
           inserted = 0;