# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 799438590 0
# Node ID f9b6e65774e78ddab85b7be902d39993d6b76ea4
# Parent  304577bc9b51ea0c1491cbedd75a0e31fc1395de
(Fset_buffer_modified_p): Use the truename for locking.

diff -r 304577bc9b51 -r f9b6e65774e7 src/buffer.c
--- a/src/buffer.c	Tue May 02 18:15:54 1995 +0000
+++ b/src/buffer.c	Tue May 02 18:16:30 1995 +0000
@@ -674,7 +674,7 @@
   /* If buffer becoming modified, lock the file.
      If buffer becoming unmodified, unlock the file.  */
 
-  fn = current_buffer->filename;
+  fn = current_buffer->file_truename;
   if (!NILP (fn))
     {
       already = SAVE_MODIFF < MODIFF;