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

diff --git a/src/output/options.h b/src/output/options.h
index e8e675f8bc..115e296f3d 100644
--- a/src/output/options.h
+++ b/src/output/options.h
@@ -47,14 +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);