X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput%2Fhtml.c;h=d2c5312ff67306881ecdd6a08d71a0fae7862c87;hb=04bf0e1fed86a5dc9032f2fc8d89ed6217b566e1;hp=d71ba0c20d20efbee687c69af769909d405a29a1;hpb=44326932c8227c64a87f7a92ef16ce83c2fba2d4;p=pspp

diff --git a/src/output/html.c b/src/output/html.c
index d71ba0c20d..d2c5312ff6 100644
--- a/src/output/html.c
+++ b/src/output/html.c
@@ -31,7 +31,6 @@
 #include <data/file-name.h>
 #include "error.h"
 #include "getline.h"
-#include "getlogin_r.h"
 #include "output.h"
 #include "manager.h"
 #include "table.h"