Remove unused static import

dafny-lang · Jan 8, 2025 · cfb8c49 · cfb8c49
1 parent 5fc571b
commit cfb8c49
Showing 1 changed file with 0 additions and 2 deletions.
diff --git 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;