X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp-builds.git;a=blobdiff_plain;f=src%2Flanguage%2Ftests%2Fcheck-model.q;h=2ef5e7bfd293a3eabbe219c0e186600bdbb021ea;hp=a2654717888d5232f679eacb57190b2284587b50;hb=95b074ff3;hpb=3aa5d735c587e0ba8ef616426f8e45f8a7bf1e2a diff --git a/src/language/tests/check-model.q b/src/language/tests/check-model.q index a2654717..2ef5e7bf 100644 --- a/src/language/tests/check-model.q +++ b/src/language/tests/check-model.q @@ -21,7 +21,7 @@ #include -#include +#include "model-checker.h" #include #include "error.h"