[3.14] Doc: fix duplicated words (GH-136086) (#136108)

Doc: fix duplicated words (GH-136086)

---------
(cherry picked from commit 698bab5a40)

Co-authored-by: Weilin Du <108666168+LamentXU123@users.noreply.github.com>
Co-authored-by: Terry Jan Reedy <tjreedy@udel.edu>
This commit is contained in:
Miss Islington (bot) 2025-06-30 00:45:26 +02:00 committed by GitHub
parent eb8ed2ab85
commit 5e65cbbe64
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
7 changed files with 7 additions and 7 deletions

View file

@ -492,7 +492,7 @@ def get_optimization_stats(self) -> dict[str, tuple[int, int | None]]:
): (trace_too_long, attempts),
Doc(
"Trace too short",
"A potential trace is abandoned because it it too short.",
"A potential trace is abandoned because it is too short.",
): (trace_too_short, attempts),
Doc(
"Inner loop found", "A trace is truncated because it has an inner loop"