# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 930838548 0
# Node ID 804955a16819394e869f6553104299abd4d436c8
# Parent  075da7e5be803f6100d1a94f23e3de232167c355
(Fread_file_name): Check type of DEFAULT_FILENAME.

diff -r 075da7e5be80 -r 804955a16819 src/fileio.c
--- 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))
     {