X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fcase.h;h=cf99e0226e4bb1883050f7d3be2b7611763cd58b;hb=6950df40513e606e6be42fa83a36a281f654d553;hp=af5fc049c2ef68605328c14c1e4efcb3613c47c1;hpb=4fdeb2145d081ff1b84e3f6c99f9d1c048c0d64a;p=pspp

diff --git a/src/case.h b/src/case.h
index af5fc049c2..cf99e0226e 100644
--- a/src/case.h
+++ b/src/case.h
@@ -21,7 +21,7 @@
 #define HEADER_CASE
 
 #include <stddef.h>
-#include "bool.h"
+#include <stdbool.h>
 #include "val.h"
 
 /* Opaque structure that represents a case.  Use accessor