# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 799438554 0
# Node ID 304577bc9b51ea0c1491cbedd75a0e31fc1395de
# Parent  ab5f12280452c1c953df21847df9d4756b432a75
(Finsert_file_contents): Use file_truename for unlocking.

diff -r ab5f12280452 -r 304577bc9b51 src/fileio.c
--- a/src/fileio.c	Tue May 02 18:13:47 1995 +0000
+++ b/src/fileio.c	Tue May 02 18:15:54 1995 +0000
@@ -3056,8 +3056,8 @@
 #ifdef CLASH_DETECTION
       if (NILP (handler))
 	{
-	  if (!NILP (current_buffer->filename))
-	    unlock_file (current_buffer->filename);
+	  if (!NILP (current_buffer->file_truename))
+	    unlock_file (current_buffer->file_truename);
 	  unlock_file (filename);
 	}
 #endif /* CLASH_DETECTION */