From 6fce42c24c7efcd994aa8f8fd1f6a3ac5987634e Mon Sep 17 00:00:00 2001 From: Theron Wang Date: Fri, 12 Jul 2024 15:01:12 -0400 Subject: [PATCH] fix comment break --- .../specimin/AnnotationParameterTypesVisitor.java | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/main/java/org/checkerframework/specimin/AnnotationParameterTypesVisitor.java b/src/main/java/org/checkerframework/specimin/AnnotationParameterTypesVisitor.java index 244f7768..2e23dc28 100644 --- a/src/main/java/org/checkerframework/specimin/AnnotationParameterTypesVisitor.java +++ b/src/main/java/org/checkerframework/specimin/AnnotationParameterTypesVisitor.java @@ -97,8 +97,7 @@ public Node visit(ImportDeclaration decl, Void p) { public Visitable visit(AnnotationMemberDeclaration decl, Void p) { // Ensure that enums/fields that are used by default are included // Also, in edge cases, preserve method type since a definition with a default value may be - // added, - // but that value type is never explored by the visit(AnnotationExpr) methods + // added, but that value type is never explored by the visit(AnnotationExpr) methods if (usedClass.contains(JavaParserUtil.getEnclosingClassName(decl))) { // Class<> from jar files may contain other classes if (decl.getType().toString().startsWith("Class<")) {