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);