diff --git a/examples/java/StringReplaceTest.java b/examples/java/StringReplaceTest.java index b7c2607c9..e1548d965 100644 --- a/examples/java/StringReplaceTest.java +++ b/examples/java/StringReplaceTest.java @@ -9,10 +9,6 @@ Abstract: Z3 Java API: Test for string replace operations -Author: - - GitHub Copilot 2024-11-04 - Notes: --*/