# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 799438427 0
# Node ID ab5f12280452c1c953df21847df9d4756b432a75
# Parent  a408490417187f999e2b6966ae47663589aa6112
(prepare_to_modify_buffer): Use file_truename for locking.

diff -r a40849041718 -r ab5f12280452 src/insdel.c
--- a/src/insdel.c	Tue May 02 16:27:24 1995 +0000
+++ b/src/insdel.c	Tue May 02 18:13:47 1995 +0000
@@ -706,9 +706,9 @@
     verify_interval_modification (current_buffer, start, end);
 
 #ifdef CLASH_DETECTION
-  if (!NILP (current_buffer->filename)
+  if (!NILP (current_buffer->file_truename)
       && SAVE_MODIFF >= MODIFF)
-    lock_file (current_buffer->filename);
+    lock_file (current_buffer->file_truename);
 #else
   /* At least warn if this file has changed on disk since it was visited.  */
   if (!NILP (current_buffer->filename)