From 024fb7ede549e47a7300f0f79c56ae50a67d642c Mon Sep 17 00:00:00 2001
From: Stephan Schroevers <stephan.schroevers@teampicnic.com>
Date: Fri, 20 Oct 2023 22:03:52 +0200
Subject: [PATCH] Resolve JDK 21 compiler warning

---
 .../java/tech/picnic/errorprone/documentation/Compilation.java   | 1 +
 1 file changed, 1 insertion(+)

diff --git a/documentation-support/src/test/java/tech/picnic/errorprone/documentation/Compilation.java b/documentation-support/src/test/java/tech/picnic/errorprone/documentation/Compilation.java
index b3dbc1b115..082714f624 100644
--- a/documentation-support/src/test/java/tech/picnic/errorprone/documentation/Compilation.java
+++ b/documentation-support/src/test/java/tech/picnic/errorprone/documentation/Compilation.java
@@ -31,6 +31,7 @@ public static void compileWithDocumentationGenerator(
       String outputDirectory, String path, String... lines) {
     compile(
         ImmutableList.of(
+            "-proc:none",
             "-Werror",
             "-Xlint:all,-processing,-serial",
             "-Xplugin:DocumentationGenerator -XoutputDirectory=" + outputDirectory),