X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fpfm-write.c;h=eaa5c6033e7806bf875ed9bd46b674a92c88eacb;hb=2e0595dd8e344dbdcab740d7d2a3b67d153d6b39;hp=0683f39aecb22c0888fc4bb7d50bb0c53880f0a4;hpb=fa77efde13ecbb261b90109142453850b283b950;p=pspp-builds.git

diff --git a/src/pfm-write.c b/src/pfm-write.c
index 0683f39a..eaa5c603 100644
--- a/src/pfm-write.c
+++ b/src/pfm-write.c
@@ -30,7 +30,7 @@
 #include "avl.h"
 #include "error.h"
 #include "file-handle.h"
-#include "gmp/gmp.h"
+#include "gmp.h"
 #include "magic.h"
 #include "pfm.h"
 #include "str.h"