Add import

eisop · Dec 30, 2024 · 7f6fa42 · 7f6fa42
1 parent 6fbc9ca
commit 7f6fa42
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/framework/src/main/java/org/checkerframework/framework/source/SourceChecker.java b/framework/src/main/java/org/checkerframework/framework/source/SourceChecker.java
@@ -85,6 +85,7 @@
 import javax.annotation.processing.SupportedAnnotationTypes;
 import javax.lang.model.SourceVersion;
 import javax.lang.model.element.Element;
+import javax.lang.model.element.ElementKind;
 import javax.lang.model.element.TypeElement;
 import javax.lang.model.util.Elements;
 import javax.lang.model.util.Types;