X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput%2Ftex-rendering.c;h=fa4fb5d051ac23ab8ac89c60f608f87f9cd83005;hb=010a024889199741ca697f95a34f8635f4ab2917;hp=9b68fde5ff4f44647cb92b40658f1475f3936807;hpb=300d3db698d3ac82a0a302a91ee62bcaad6337b6;p=pspp

diff --git a/src/output/tex-rendering.c b/src/output/tex-rendering.c
index 9b68fde5ff..fa4fb5d051 100644
--- a/src/output/tex-rendering.c
+++ b/src/output/tex-rendering.c
@@ -18,6 +18,7 @@
 
 #include "tex-rendering.h"
 #include "tex-glyphs.h"
+#include <stdio.h>
 
 #include "libpspp/hmap.h"
 #include "libpspp/hash-functions.h"