X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fvfm.h;h=a9355636acf015803a69b0740088fe196b58a72f;hb=60d7d619ee7885ad065f178eb0cf1e5d432b1921;hp=27cac23549f555418dfe1a0a00a1c626e88ec357;hpb=5906e30c29662d12594199e1652ba3a7e5670944;p=pspp

diff --git a/src/vfm.h b/src/vfm.h
index 27cac23549..a9355636ac 100644
--- a/src/vfm.h
+++ b/src/vfm.h
@@ -20,7 +20,6 @@
 #if !vfm_h
 #define vfm_h 1
 
-#include "cases.h"
 #include <time.h>
 
 /* This is the time at which vfm was last invoked. */