X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fformat.h;h=988c8f8c6ae982941954de882d346b7a2c6b4a9b;hb=df034e315b329d26fd6309d19a3f6e53b18e5e3a;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: