X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fglob.c;h=e1d5bba0b303214cac0a2e224c5c505e9b605569;hb=97d6c6f6b1922621ca013668eba9a9a9f71d60fe;hp=61c70b46c2e5efbc34e7cce5e62b1a2b6472af72;hpb=def7e6026513a3ee7c2b38416b30a2e890e34311;p=pspp

diff --git a/src/glob.c b/src/glob.c
index 61c70b46c2..e1d5bba0b3 100644
--- a/src/glob.c
+++ b/src/glob.c
@@ -19,7 +19,7 @@
 
 #include <config.h>
 #include "glob.h"
-#include <assert.h>
+#include "error.h"
 #include <stdlib.h>
 #include <stdio.h>