(Fread_file_name): Check type of DEFAULT_FILENAME.

diff --git a/src/fileio.c b/src/fileio.c
index 893073d9cd777d4764a4254d0a5da771a8134a39..702d9ac129980a65530bb1d1d0a37a4a1ea5497e 100644 (file)
--- a/src/fileio.c
+++ b/src/fileio.c
@@ -5451,7 +5451,10 @@ DIR defaults to current buffer's directory default.")
       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))
     {