diff src/fileio.c @ 11658:304577bc9b51

(Finsert_file_contents): Use file_truename for unlocking.
author Richard M. Stallman <rms@gnu.org>
date Tue, 02 May 1995 18:15:54 +0000
parents ddbe0702ea95
children 6945dfa38123
line wrap: on
line diff
--- 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 */