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: