remove unused imports

njit-jerse · Aug 26, 2024 · 20321ff · 20321ff
1 parent 0aba1c4
commit 20321ff
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git a/.../preserveannotations/expected/org/checkerframework/checker/index/qual/GTENegativeOne.java b/.../preserveannotations/expected/org/checkerframework/checker/index/qual/GTENegativeOne.java
@@ -1,7 +1,6 @@
 package org.checkerframework.checker.index.qual;
 
 import java.lang.annotation.Documented;
-import java.lang.annotation.ElementType;
 import java.lang.annotation.Retention;
 import java.lang.annotation.RetentionPolicy;
 import java.lang.annotation.Target;

diff --git a/...eserveannotations/expected/org/checkerframework/checker/index/qual/LowerBoundUnknown.java b/...eserveannotations/expected/org/checkerframework/checker/index/qual/LowerBoundUnknown.java
@@ -1,7 +1,6 @@
 package org.checkerframework.checker.index.qual;
 
 import java.lang.annotation.Documented;
-import java.lang.annotation.ElementType;
 import java.lang.annotation.Retention;
 import java.lang.annotation.RetentionPolicy;
 import java.lang.annotation.Target;