diff --git a/build.gradle b/build.gradle
index 0a5d5624f8e4182bc85a0f4f0947160337523a16..70f8ce9158fddebd1340fa3bbc8dd5e433f23728 100644
--- a/build.gradle
+++ b/build.gradle
@@ -30,6 +30,7 @@ sourceSets {
     }
 }
 
+sourceSets.main.compileClasspath += kodkod
 sourceSets.test.runtimeClasspath += files(sourceSets.main.java.srcDirs)
 
 dependencies {
@@ -52,7 +53,6 @@ task genParser(type:JavaExec) {
 
 compileJava {
  dependsOn = ['genParser']
- compileClasspath += kodkod
 }
 
 test {