X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Ffile-handle-def.c;h=d025ff6a3a35b4a493b7f6b72f0d3ed61ff461e1;hb=173d1687aea88e0e5e1b1d8615ed68ebefb15d08;hp=beba83d4fba60602d270a0c91bb7ff3c226acf5c;hpb=4277d80790ded2c83d81a34ed536abe95c925d45;p=pspp

diff --git a/src/data/file-handle-def.c b/src/data/file-handle-def.c
index beba83d4fb..d025ff6a3a 100644
--- a/src/data/file-handle-def.c
+++ b/src/data/file-handle-def.c
@@ -233,7 +233,7 @@ fh_create_file (const char *id, const char *file_name,
   char *handle_name;
   struct file_handle *handle;
 
-  handle_name = id != NULL ? xstrdup (id) : xasprintf ("\"%s\"", file_name);
+  handle_name = id != NULL ? xstrdup (id) : xasprintf ("`%s'", file_name);
   handle = create_handle (id, handle_name, FH_REF_FILE);
   handle->file_name = xstrdup (file_name);
   handle->mode = properties->mode;