along with this program. If not, see <http://www.gnu.org/licenses/>. */
#include <config.h>
+#include <limits.h>
#include <language/tests/check-model.h>
#include <errno.h>
-#include <libpspp/model-checker.h>
+#include <language/tests/model-checker.h>
#include <language/lexer/lexer.h>
#include "error.h"