X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fmisc.h;h=1698297dc4cc51a2694f55d831c740d4eb601694;hb=refs%2Fheads%2Fctables7;hp=c2f865d90c95512d7ec4d3517c68dff96e0181d4;hpb=bd17d2af982332ee1791998361b1ac6731fe14fa;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 */