X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flist.q;h=56f45342be4005cf1c02d05e83c8fd7a480de558;hb=cf89e411db41c05c39753b05cf144c8b26a44d96;hp=10d2baad38df3999a9b458222781eda4dc78604c;hpb=74a57f26f1458b28a0fddbb9f46004ac8f4d9c30;p=pspp

diff --git a/src/list.q b/src/list.q
index 10d2baad38..56f45342be 100644
--- a/src/list.q
+++ b/src/list.q
@@ -18,7 +18,7 @@
    02111-1307, USA. */
 
 #include <config.h>
-#include <assert.h>
+#include "error.h"
 #include <stdio.h>
 #include <stdlib.h>
 #include "alloc.h"