diff --git a/.travis.yml b/.travis.yml
index 9aeb75c..95ab40a 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -32,5 +32,5 @@ script:
   - git submodule update --recursive --init
   - mkdir -p build/debug
   - cd build/debug
-  - cmake ../.. -DCMAKE_BUILD_TYPE=Debug -DCMAKE_CXX_COMPILER=$_CXX -DPLASP_BUILD_TESTS=ON -DTOKENIZE_BUILD_TESTS=ON
-  - make -j3 plasp-app && make -j3 run-tokenize-tests && make -j3 run-tests
+  - cmake ../.. -DCMAKE_BUILD_TYPE=Debug -DCMAKE_CXX_COMPILER=$_CXX -DTOKENIZE_BUILD_TESTS=ON -DPDDLPARSE_BUILD_TESTS=ON -DPLASP_BUILD_TESTS=ON
+  - make -j3 plasp-app && make -j3 run-tokenize-tests && make -j3 run-pddlparse-tests && make -j3 run-tests