diff --git a/build.gradle b/build.gradle
index 41a2fd84530921ba31ffb0c9e4b145acb84d1019..7da21e6132c5f9190e2262eb8d53f90d023de840 100644
--- a/build.gradle
+++ b/build.gradle
@@ -100,8 +100,7 @@ clean {
 	delete "${projectDir}/temp"
 }
 
-task regressionTests(dependsOn: extractPublicExamples, type: Test){
-	doFirst{ println("Running integration tests") }
+task regressionTests(dependsOn: extractPublicExamples, type: Test) {
 	include('de/tlc4b/tlc/integration/probprivate/**')
 }
 check.dependsOn(regressionTests)