X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fmodel-checker.c;h=e0a0f71a62706891145c01966d4dacff94530d53;hb=81579d9e9f994fb2908f50af41c3eb033d216e58;hp=0e73fec651110f2330c0e807fadbc766d5825a9e;hpb=b5cebf00d5edaada965b3dc75c745942d9483059;p=pspp-builds.git diff --git a/src/libpspp/model-checker.c b/src/libpspp/model-checker.c index 0e73fec6..e0a0f71a 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