From c3c33fe3b0acf9365ef3723ce70e326fa7350a82 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Tue, 28 Oct 2025 22:23:36 +0000
Subject: [PATCH] Fix author field in test file

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 examples/java/TestJavaAPICompleteness.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/java/TestJavaAPICompleteness.java b/examples/java/TestJavaAPICompleteness.java
index 78385bbdf..d0a5b948b 100644
--- a/examples/java/TestJavaAPICompleteness.java
+++ b/examples/java/TestJavaAPICompleteness.java
@@ -13,7 +13,7 @@ Abstract:
 
 Author:
 
-    GitHub Copilot 2025-10-28
+    Z3Prover Contributors 2025-10-28
 
 Notes: