X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fpfm-write.c;h=1d553ed7875d774aa5912f07125304638371c369;hb=97d6c6f6b1922621ca013668eba9a9a9f71d60fe;hp=e229072ea5578678e0bfe51c3ac2042e7872c2e5;hpb=74a57f26f1458b28a0fddbb9f46004ac8f4d9c30;p=pspp

diff --git a/src/pfm-write.c b/src/pfm-write.c
index e229072ea5..1d553ed787 100644
--- a/src/pfm-write.c
+++ b/src/pfm-write.c
@@ -19,7 +19,7 @@
 
 #include <config.h>
 #include "pfm.h"
-#include <assert.h>
+#include "error.h"
 #include <ctype.h>
 #include <errno.h>
 #include <float.h>