X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Fstats%2Fflip.c;h=283a2266a4568a5c57a8fe2354620cf51d51bf31;hb=9f93ff4fb4b1836b6ead55d84476fbd39530764c;hp=6049f1fa9c9acfbde0cd035c808e849ccd067c65;hpb=b401615e6db40bf74394839b96600afe3a868a95;p=pspp

diff --git a/src/language/stats/flip.c b/src/language/stats/flip.c
index 6049f1fa9c..283a2266a4 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>