X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;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 <http://www.gnu.org/licenses/>. */
 
-#include "config.h"
+#include <config.h>
 
 #include <ctype.h>
 #include <errno.h>