X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fvfm.c;h=1ea4211e32c521065c6ab866ec2d92eb14e4bdd3;hb=205ac3afa4c2b19c85819d8695abf3975bb11807;hp=b5d2a8d3564e76641e692bace61df3fe3befcf76;hpb=74a57f26f1458b28a0fddbb9f46004ac8f4d9c30;p=pspp-builds.git

diff --git a/src/vfm.c b/src/vfm.c
index b5d2a8d3..1ea4211e 100644
--- a/src/vfm.c
+++ b/src/vfm.c
@@ -20,7 +20,7 @@
 #include <config.h>
 #include "vfm.h"
 #include "vfmP.h"
-#include <assert.h>
+#include "error.h"
 #include <errno.h>
 #include <stdio.h>
 #include <stdlib.h>