X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fflip.c;h=1349ef1a014597ba8b6f992657ddc029d6823799;hb=97d6c6f6b1922621ca013668eba9a9a9f71d60fe;hp=6bd6a243907f6632712fd64aa48419764a56e67e;hpb=74a57f26f1458b28a0fddbb9f46004ac8f4d9c30;p=pspp

diff --git a/src/flip.c b/src/flip.c
index 6bd6a24390..1349ef1a01 100644
--- a/src/flip.c
+++ b/src/flip.c
@@ -18,7 +18,7 @@
    02111-1307, USA. */
 
 #include <config.h>
-#include <assert.h>
+#include "error.h"
 #include <ctype.h>
 #include <errno.h>
 #include <float.h>