X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Finclude.c;h=3ea80ef04b352926d1dc7295da2824b592d04f70;hb=e35ff8ccb29404f2098e6f2fccace1c99c61b7be;hp=19f5ca1b8f6f645219725e6993821d04fe788a53;hpb=74a57f26f1458b28a0fddbb9f46004ac8f4d9c30;p=pspp

diff --git a/src/include.c b/src/include.c
index 19f5ca1b8f..3ea80ef04b 100644
--- a/src/include.c
+++ b/src/include.c
@@ -40,7 +40,7 @@ cmd_include (void)
       lex_error (_("expecting filename")); 
       return CMD_FAILURE;
     }
-  getl_include (ds_value (&tokstr));
+  getl_include (ds_c_str (&tokstr));
 
   lex_get ();
   return lex_end_of_command ();