From 71cee100e4aa9586db38c07d1b940168159085bb Mon Sep 17 00:00:00 2001
From: Aosen Xiong <82676488+Ao-senXiong@users.noreply.github.com>
Date: Thu, 11 Apr 2024 16:06:51 -0700
Subject: [PATCH] Use unqualified name in `defaultErrorMessage` (#445)

---
 src/checkers/inference/ExistentialVariableInserter.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/checkers/inference/ExistentialVariableInserter.java b/src/checkers/inference/ExistentialVariableInserter.java
index 8d293ec5..aabcc573 100644
--- 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"