X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fvalue.h;h=b7a7ee701f8ae31f695e35629ca26b562b853842;hb=c90c44ab307b3ba49f606d2bae80e6aff1e228d7;hp=c751060ee8a7ed41b226ec0416f642f0f2814372;hpb=c3bd77adba5746aae895e6a354aada4e694c0e3f;p=pspp

diff --git a/src/data/value.h b/src/data/value.h
index c751060ee8..b7a7ee701f 100644
--- a/src/data/value.h
+++ b/src/data/value.h
@@ -21,7 +21,6 @@
 #include <libpspp/float-format.h>
 #include <libpspp/misc.h>
 #include "minmax.h"
-#include <config.h>
 
 /* Values. */