X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=inline;f=src%2Flanguage%2Fstats%2Fflip.c;h=283a2266a4568a5c57a8fe2354620cf51d51bf31;hb=4010cd95ae15efa542a324c4c2081b19ab10b902;hp=6049f1fa9c9acfbde0cd035c808e849ccd067c65;hpb=fe8dc2171009e90d2335f159d05f7e6660e24780;p=pspp-builds.git
diff --git a/src/language/stats/flip.c b/src/language/stats/flip.c
index 6049f1fa..283a2266 100644
--- a/src/language/stats/flip.c
+++ b/src/language/stats/flip.c
@@ -14,7 +14,7 @@
You should have received a copy of the GNU General Public License
along with this program. If not, see . */
-#include "config.h"
+#include
#include
#include