X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput%2Foutput.h;h=8f44b1d9f74f85220d39eb9eedea0c704aeb69fb;hb=4d95fcf5105d5f4641c34daae577e68ec986ffbd;hp=cf3101e28a3060dfa9bca2ca70c095920994cbde;hpb=8444d8d47de5e5f8d076b6f43f73c2c29494031e;p=pspp-builds.git

diff --git a/src/output/output.h b/src/output/output.h
index cf3101e2..8f44b1d9 100644
--- a/src/output/output.h
+++ b/src/output/output.h
@@ -70,7 +70,7 @@ struct outp_class
     const char *name;		/* Name of this driver class. */
     int special;		/* Boolean value. */
 
-    bool (*open_driver) (struct outp_driver *, const char *options);
+    bool (*open_driver) (struct outp_driver *, const struct string *options);
     bool (*close_driver) (struct outp_driver *);
 
     void (*open_page) (struct outp_driver *);
@@ -148,7 +148,7 @@ void outp_list_classes (void);
 void outp_enable_device (int enable, int device);
 struct outp_driver *outp_drivers (struct outp_driver *);
 
-bool outp_parse_options (const char *options,
+bool outp_parse_options (const struct string *options,
                          bool (*) (struct outp_driver *, const char *key,
                                    const struct string *value),
                          struct outp_driver *);