X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=inline;f=src%2Fsysfile-info.c;h=5a91fc39b4e8d05b3bb9f3780dc5e84e11f014dd;hb=d2f8593a1f1d39a3264682af0da898a3d67b68cf;hp=c67c184e2d037767e7ef0d31a3e945fb56db91dc;hpb=74a57f26f1458b28a0fddbb9f46004ac8f4d9c30;p=pspp

diff --git a/src/sysfile-info.c b/src/sysfile-info.c
index c67c184e2d..5a91fc39b4 100644
--- a/src/sysfile-info.c
+++ b/src/sysfile-info.c
@@ -18,7 +18,7 @@
    02111-1307, USA. */
 
 #include <config.h>
-#include <assert.h>
+#include "error.h"
 #include <ctype.h>
 #include <stdlib.h>
 #include "algorithm.h"