From 485cad2b7b2e60885b088eb9866cd03848bf4388 Mon Sep 17 00:00:00 2001
From: Mark Roberts <markro@cs.washington.edu>
Date: Wed, 7 Feb 2024 21:23:28 -0800
Subject: [PATCH] correct processor path

---
 pom.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pom.xml b/pom.xml
index 9492dcd4aa..bbd7cf520a 100644
--- a/pom.xml
+++ b/pom.xml
@@ -459,8 +459,8 @@
       <id>succeedingTypecheckers</id>
       <properties>
         <annotationProcessor1>org.checkerframework.checker.interning.InterningChecker</annotationProcessor1>
-        <annotationProcessor2>org.checkerframework.common.util.report.DoNothingProcessor</annotationProcessor2>
-        <annotationProcessor3>org.checkerframework.common.util.report.DoNothingProcessor</annotationProcessor3>
+        <annotationProcessor2>org.checkerframework.common.util.debug.DoNothingProcessor</annotationProcessor2>
+        <annotationProcessor3>org.checkerframework.common.util.debug.DoNothingProcessor</annotationProcessor3>
         <annotationProcessor4>org.checkerframework.checker.signedness.SignednessChecker</annotationProcessor4>
         <annotationProcessor5>org.checkerframework.checker.resourceleak.ResourceLeakChecker</annotationProcessor5>
         <compilerArgument1></compilerArgument1> <!-- Keep type-checking errors as errors. -->