changeset 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 075da7e5be80
children b991eeca9d59
files src/fileio.c
diffstat 1 files changed, 4 insertions(+), 1 deletions(-) [+]
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))
     {