Merge pull request #787 from timbertson/patch-1

Fix typo
This commit is contained in:
Rudi Grinberg 2018-05-21 18:30:14 +07:00 committed by GitHub
commit 7cf684888f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -89,7 +89,7 @@ set of predicates:
version
- ``mt_posix``: forces the use of posix threads rather than VM
threads. VM threadws are deprecated and are likely to go away soon
threads. VM threads are deprecated and are likely to go away soon
- ``ppx_driver``: when a library acts differently depending on whether
it is linked as part of a driver or meant to add a ``-ppx`` argument