X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftemporary.c;h=c04ce764d99b18a99274fe2adfa9503f9f5854b7;hb=205eaea8e2d95e20baa2c00a495b0ac4f9646372;hp=70d86cab285e2b3f3b0fd9a8f4db806e2b83fa40;hpb=74a57f26f1458b28a0fddbb9f46004ac8f4d9c30;p=pspp-builds.git

diff --git a/src/temporary.c b/src/temporary.c
index 70d86cab..c04ce764 100644
--- a/src/temporary.c
+++ b/src/temporary.c
@@ -18,7 +18,7 @@
    02111-1307, USA. */
 
 #include <config.h>
-#include <assert.h>
+#include "error.h"
 #include <stddef.h>
 #include <stdlib.h>
 #include "alloc.h"