X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput%2Fmeasure.h;h=047f78c50dfd5d4a289411f897f902daa93a2186;hb=df1d194af32e35739355981252785e768f21ebb0;hp=4b6fab3805432539b0bc6b1a77d1b220e16db367;hpb=f550aee00a62fe1d8baf62d83cd7efef6cc2ee92;p=pspp

diff --git a/src/output/measure.h b/src/output/measure.h
index 4b6fab3805..047f78c50d 100644
--- a/src/output/measure.h
+++ b/src/output/measure.h
@@ -19,7 +19,7 @@
 
 #include <stdbool.h>
 
-int measure_dimension (const char *dimen);
-bool measure_paper (const char *size, int *h, int *v);
+double measure_dimension (const char *dimen);
+bool measure_paper (const char *size, double *h, double *v);
 
 #endif /* output/measure.h */