Merge branch 'master' into PICO-pull-in

opprop · Apr 11, 2024 · d47647f · d47647f
2 parents a2a1f61 + 436378a
commit d47647f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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);