diff --git a/src/functionalTest/java/org/dafny/gradle/plugin/DafnyPluginFunctionalTest.java b/src/functionalTest/java/org/dafny/gradle/plugin/DafnyPluginFunctionalTest.java
index 765d877..45300ed 100644
--- a/src/functionalTest/java/org/dafny/gradle/plugin/DafnyPluginFunctionalTest.java
+++ b/src/functionalTest/java/org/dafny/gradle/plugin/DafnyPluginFunctionalTest.java
@@ -3,8 +3,6 @@
  */
 package org.dafny.gradle.plugin;
 
-import static org.junit.jupiter.api.Assertions.*;
-
 import java.io.File;
 import java.io.IOException;
 import org.gradle.testkit.runner.BuildResult;