X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fdata%2Fsettings.h;h=2f2bbe99b46edd2ad28e5bebb75015581b3267f9;hb=deb4fd96c0c171fc8eb64f7f1e7f5c2af4931416;hp=e39a63a0fefc766546362d7e1bb412454539f10f;hpb=ee7be3e962a4faba54d7bc01364365b51167242c;p=pspp

diff --git a/src/data/settings.h b/src/data/settings.h
index e39a63a0fe..2f2bbe99b4 100644
--- a/src/data/settings.h
+++ b/src/data/settings.h
@@ -19,6 +19,9 @@
 
 #include <stdbool.h>
 #include <stddef.h>
+#include <data/format.h>
+#include <libpspp/float-format.h>
+#include <libpspp/integer-format.h>
 
 struct settings;