diff src/fileio.c @ 24909:804955a16819

(Fread_file_name): Check type of DEFAULT_FILENAME.
author Richard M. Stallman <rms@gnu.org>
date Thu, 01 Jul 1999 14:15:48 +0000
parents f0aa6266cd12
children 27a1d7a4c444
line wrap: on
line diff
--- a/src/fileio.c	Thu Jul 01 13:28:10 1999 +0000
+++ b/src/fileio.c	Thu Jul 01 14:15:48 1999 +0000
@@ -5451,7 +5451,10 @@
       XSTRING (default_filename)->data[0] = '~';
     }
   if (!NILP (default_filename))
-    default_filename = double_dollars (default_filename);
+    {
+      CHECK_STRING (default_filename, 3);
+      default_filename = double_dollars (default_filename);
+    }
 
   if (insert_default_directory && STRINGP (dir))
     {