From 8409e860a9a8816fde7000c8ac727e22bafbe4a8 Mon Sep 17 00:00:00 2001
From: Error Prone Team <java-team-github-bot@google.com>
Date: Thu, 4 Jan 2024 15:50:00 -0800
Subject: [PATCH] Automatic code cleanup.

PiperOrigin-RevId: 595823264
---
 core/src/test/proto/proto_test.proto | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/core/src/test/proto/proto_test.proto b/core/src/test/proto/proto_test.proto
index 3f4d6bc2718..8dedad6cd2b 100644
--- a/core/src/test/proto/proto_test.proto
+++ b/core/src/test/proto/proto_test.proto
@@ -33,7 +33,7 @@ message TestProtoMessage {
   /* Named ending in "builder" to check the Java builder API */
   optional TestFieldProtoMessage foo_builder = 6;
 
-  extensions 100 to 199;
+  extensions 100 to 199 [verification = UNVERIFIED];
 }
 
 message TestOneOfMessage {