X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fhtml.c;h=1b56ba1c2f77d2ee52af6a943e25b6846fad3124;hb=65e4b2dda3939a9c35913a79b7e79c3120713a6c;hp=f902520d0e1a2580530e7ba633211d9c7db8e2ed;hpb=4de79b34b329d1da6cdeb145993d3efd911e2967;p=pspp

diff --git a/src/html.c b/src/html.c
index f902520d0e..1b56ba1c2f 100644
--- a/src/html.c
+++ b/src/html.c
@@ -250,7 +250,7 @@ postopen (struct file_ext *f)
   FILE *prologue_file;
 
   char *buf = NULL;
-  int buf_size = 0;
+  size_t buf_size = 0;
 
   if (prologue_fn == NULL)
     {