X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fflip.c;h=b4f908dfb7ccdaaf3c591b3321ed8cc6c101c830;hb=d5e5cf282cc56899913654a62c425e584acecfb2;hp=f9162522d54680e09e61107edbc189018eb42ad6;hpb=06f9ee45954e5e71fa7f6262dbf37defa1dbf996;p=pspp

diff --git a/src/flip.c b/src/flip.c
index f9162522d5..b4f908dfb7 100644
--- a/src/flip.c
+++ b/src/flip.c
@@ -27,6 +27,7 @@
 #include "alloc.h"
 #include "case.h"
 #include "command.h"
+#include "dictionary.h"
 #include "error.h"
 #include "lexer.h"
 #include "misc.h"