X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fmain.c;h=d52741d1bd8605c35c73daf67f09fa541d933d3c;hb=a403c11b1bd755afb30482a29caa6ba749d48d52;hp=be22605b822dec1d0b9d17ccc3a25b584614d039;hpb=e238e7fc030ebb64a7f70176c2218783b5b205e3;p=pspp

diff --git a/src/main.c b/src/main.c
index be22605b82..d52741d1bd 100644
--- a/src/main.c
+++ b/src/main.c
@@ -26,7 +26,7 @@
 #include "command.h"
 #include "dictionary.h"
 #include "error.h"
-#include "file-handle.h"
+#include "file-handle-def.h"
 #include "filename.h"
 #include "getl.h"
 #include "glob.h"