Merge branch 'master' into PICO-pull-in

opprop · Apr 13, 2024 · 01b0edd · 01b0edd
2 parents d47647f + 71cee10
commit 01b0edd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/checkers/inference/ExistentialVariableInserter.java b/src/checkers/inference/ExistentialVariableInserter.java
@@ -159,7 +159,7 @@ public void matchAndReplacePrimary(final AnnotatedTypeMirror typeUse, final Anno
         }
 
         @Override
-        public String defaultErrorMessage(org.checkerframework.framework.type.AnnotatedTypeMirror type1, org.checkerframework.framework.type.AnnotatedTypeMirror type2, Void aVoid) {
+        public String defaultErrorMessage(AnnotatedTypeMirror type1, AnnotatedTypeMirror type2, Void aVoid) {
             return "Input types should have identical structures.  Input types are limited to those types" +
                     "that can appear in a type variable bound:\n"
                     +  "type1=" + type1 + "\n"