X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fformat.h;h=988c8f8c6ae982941954de882d346b7a2c6b4a9b;hb=17896e38991000673747aa115b3f7aeb9a57a40f;hp=da33f5f3abf323a973628c3297256b9ff068c45f;hpb=597dc92521dee8ba43334b9c5ca6a995aaae0ab8;p=pspp

diff --git a/src/format.h b/src/format.h
index da33f5f3ab..988c8f8c6a 100644
--- a/src/format.h
+++ b/src/format.h
@@ -22,7 +22,7 @@
 
 /* Display format types. */
 
-#include "bool.h"
+#include <stdbool.h>
 
 /* See the definitions of these functions and variables when modifying
    this list: