diff --git a/.travis.yml b/.travis.yml
index 76d447c..bc104d3 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -9,7 +9,7 @@ before_install:
 - docker pull scottfleischman/agda:2.5.2
 
 env:
-- AGDA_FILE="src/Theorems.agda"
+- AGDA_FILE="src/API/Laws.agda"
 
 script:
 - docker run -v $TRAVIS_BUILD_DIR:/opt/agda-build scottfleischman/agda:2.5.2 /bin/sh -c 'cd /opt/agda-build; agda '$AGDA_FILE