X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Foutput%2Foptions.h;h=115e296f3dd2a4a882df0d29803e7ee357a1d76c;hb=95cde62bdf5210c1c60dad5598a888b864f93161;hp=2c0fc5c13f674e8cc1885805185d0b901d1f1379;hpb=bfafd2fc47742719938ce1219f445b3ad25fb703;p=pspp

diff --git a/src/output/options.h b/src/output/options.h
index 2c0fc5c13f..115e296f3d 100644
--- a/src/output/options.h
+++ b/src/output/options.h
@@ -47,11 +47,14 @@ struct driver_option driver_option_get (struct driver_options *,
                                         const char *name,
                                         const char *default_value);
 
-void parse_paper_size (struct driver_option, int *h, int *v);
+void parse_paper_size (struct driver_option, double *h, double *v);
 bool parse_boolean (struct driver_option);
+
 int parse_enum (struct driver_option, ...) SENTINEL(0);
+#define parse_enum(...) parse_enum(__VA_ARGS__, NULL_SENTINEL)
+
 int parse_int (struct driver_option, int min_value, int max_value);
-int parse_dimension (struct driver_option);
+double parse_dimension (struct driver_option);
 char *parse_string (struct driver_option);
 char *parse_chart_file_name (struct driver_option);