summarize: Fix typo in stats (#127450)

This commit is contained in:
alm 2024-11-30 18:07:54 +02:00 committed by GitHub
parent 33ce8dcf79
commit 4e0a4cafe8
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -483,7 +483,7 @@ class Stats:
): (trace_too_long, attempts),
Doc(
"Trace too short",
"A potential trace is abandoced because it it too short.",
"A potential trace is abandoned because it it too short.",
): (trace_too_short, attempts),
Doc(
"Inner loop found", "A trace is truncated because it has an inner loop"