Doc: fix duplicated words (#136086)

---------

Co-authored-by: Terry Jan Reedy <tjreedy@udel.edu>
This commit is contained in:
Weilin Du 2025-06-30 06:04:02 +08:00 committed by GitHub
parent 7a403a8050
commit 698bab5a40
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"