diff src/fileio.c @ 62299:3fa6e7b9d397

(Finsert_file_contents): Fix previous change.
author Richard M. Stallman <rms@gnu.org>
date Fri, 13 May 2005 23:07:41 +0000
parents 3302236fcb60
children 12b3cd6b8467 8b66fddd72c5 f042e7c0fe20
line wrap: on
line diff
--- a/src/fileio.c	Fri May 13 17:03:30 2005 +0000
+++ b/src/fileio.c	Fri May 13 23:07:41 2005 +0000
@@ -4516,8 +4516,10 @@
 
   if (inserted == 0)
     {
+#ifdef CLASH_DETECTION
       if (we_locked_file)
 	unlock_file (current_buffer->file_truename);
+#endif
       Vdeactivate_mark = old_Vdeactivate_mark;
     }