X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Flibpspp%2Fmisc.h;h=1698297dc4cc51a2694f55d831c740d4eb601694;hb=c4b05a4eee788ba23c784e8c077995940eee96a7;hp=c2f865d90c95512d7ec4d3517c68dff96e0181d4;hpb=a1efcf97ca2f75f4be6a0389ff2372c03ed2d4e1;p=pspp

diff --git a/src/libpspp/misc.h b/src/libpspp/misc.h
index c2f865d90c..1698297dc4 100644
--- a/src/libpspp/misc.h
+++ b/src/libpspp/misc.h
@@ -17,6 +17,7 @@
 #if !libpspp_misc_h
 #define libpspp_misc_h 1
 
+#include <stddef.h>
 #include <float.h>
 #include <math.h>
 
@@ -95,5 +96,7 @@ maximize_int (int *dest, int src)
     *dest = src;
 }
 
+int c_dtoastr (char *buf, size_t bufsize, int flags, int width, double x);
+
 
 #endif /* libpspp/misc.h */