Fix some typos (GH-14435)

This commit is contained in:
Min ho Kim 2019-07-06 07:39:32 +10:00 committed by Brett Cannon
parent 10e5c66789
commit f7d72e48fb
5 changed files with 8 additions and 8 deletions

View file

@ -1552,7 +1552,7 @@ prove that after that line is executed, we have
(a - 1)**2 < (n >> 2*(c - d)) < (a + 1)**2
To faciliate the proof, we make some changes of notation. Write `m` for
To facilitate the proof, we make some changes of notation. Write `m` for
`n >> 2*(c-d)`, and write `b` for the new value of `a`, so
b = (a << d - e - 1) + (n >> 2*c - e - d + 1) // a