From 342344c3e6b4f9c369c5bd2427050adec06522eb Mon Sep 17 00:00:00 2001 From: Theron Wang Date: Tue, 13 Aug 2024 14:02:49 -0400 Subject: [PATCH] fix typo in docs --- .../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 7fec24b5..bd9cfcc9 100644 --- a/src/main/java/org/checkerframework/specimin/AnnotationParameterTypesVisitor.java +++ b/src/main/java/org/checkerframework/specimin/AnnotationParameterTypesVisitor.java @@ -28,8 +28,7 @@ */ public class AnnotationParameterTypesVisitor extends SpeciminStateVisitor { /** - * Constructs a new SolveMethodOverridingVisitor with the provided sets of target methods, used - * members, and used classes. + * Constructs a new AnnotationParameterTypesVisitor with the previous visitor * * @param previousVisitor the last visitor to run before this one */