From 1186e2cad9a8a76347d72547caf0127a4414ee31 Mon Sep 17 00:00:00 2001 From: Aosen Xiong Date: Thu, 4 Apr 2024 23:32:10 -0400 Subject: [PATCH] Update API name --- src/checkers/inference/InferenceTypeHierarchy.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/checkers/inference/InferenceTypeHierarchy.java b/src/checkers/inference/InferenceTypeHierarchy.java index 64aa32ab..f39ebc5d 100644 --- a/src/checkers/inference/InferenceTypeHierarchy.java +++ b/src/checkers/inference/InferenceTypeHierarchy.java @@ -63,7 +63,7 @@ public InferenceEqualityComparer(StructuralEqualityVisitHistory typeargVisitHist } @Override - protected boolean arePrimeAnnosEqual(AnnotatedTypeMirror type1, AnnotatedTypeMirror type2) { + protected boolean arePrimaryAnnosEqual(AnnotatedTypeMirror type1, AnnotatedTypeMirror type2) { final InferenceMain inferenceMain = InferenceMain.getInstance(); final AnnotationMirror varAnnot1 = type1.getAnnotationInHierarchy(varAnnot); final AnnotationMirror varAnnot2 = type2.getAnnotationInHierarchy(varAnnot);