minor typo

This commit is contained in:
Florian Dold 2020-07-01 19:11:14 +05:30
parent 968491bb47
commit 73d98fcf59
No known key found for this signature in database
GPG Key ID: D2E4F00F29D02A4B

View File

@ -87,7 +87,7 @@ files being left behind even in the case of abnormal termination.
We agree with the recommendation that the documentation should be improved,
and will try to improve it along the lines recommended by CodeBlau.
\section{Protocol change: API for uniformuly distributed seeds}
\section{Protocol change: API for uniformly distributed seeds}
We agree with the suggestion, have made the necessary changes, and both
parties believe that the suggestion has been implemented.