# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 776043367 0
# Node ID b09c4b7a4729b54ca7a77781a1a2281f3c68827c
# Parent  32880f6bd87a19ab5d768e28e8d2579ee7e0a7ac
(Fread_file_name_internal): Call double_dollars when `changed' is set.

diff -r 32880f6bd87a -r b09c4b7a4729 src/fileio.c
--- a/src/fileio.c	Thu Aug 04 23:31:12 1994 +0000
+++ b/src/fileio.c	Thu Aug 04 23:36:07 1994 +0000
@@ -3823,7 +3823,7 @@
       if (XTYPE (val) != Lisp_String)
 	{
 	  if (changed)
-	    return string;
+	    return double_dollars (string);
 	  return val;
 	}