X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fmodel-checker.c;h=e0a0f71a62706891145c01966d4dacff94530d53;hb=242df34f17dcab1725a37d0a1145d7c282ee2aa8;hp=0e73fec651110f2330c0e807fadbc766d5825a9e;hpb=d8493b3b0617cc447446a70b031a69079bc19002;p=pspp diff --git a/src/libpspp/model-checker.c b/src/libpspp/model-checker.c index 0e73fec651..e0a0f71a62 100644 --- a/src/libpspp/model-checker.c +++ b/src/libpspp/model-checker.c @@ -1,5 +1,5 @@ /* PSPP - a program for statistical analysis. - Copyright (C) 2007, 2009, 2010 Free Software Foundation, Inc. + Copyright (C) 2007, 2009, 2010, 2011 Free Software Foundation, Inc. This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by @@ -16,7 +16,7 @@ #include -#include +#include "libpspp/model-checker.h" #include #include @@ -26,16 +26,16 @@ #include #include -#include -#include -#include -#include -#include -#include +#include "libpspp/argv-parser.h" +#include "libpspp/bit-vector.h" +#include "libpspp/compiler.h" +#include "libpspp/deque.h" +#include "libpspp/misc.h" +#include "libpspp/str.h" -#include "error.h" -#include "minmax.h" -#include "xalloc.h" +#include "gl/error.h" +#include "gl/minmax.h" +#include "gl/xalloc.h" /* Initializes PATH as an empty path. */ void