Auto merge of #46625 - emilio:moar-nits, r=kennytm

infer: Fix typo in README.

Was just reading through it and found this, not a big deal but...
This commit is contained in:
bors 2017-12-11 04:27:58 +00:00
commit 5f3bd73d81
1 changed files with 1 additions and 1 deletions

View File

@ -141,7 +141,7 @@ will make the permanent. Snapshots can be nested as long as you follow
a stack-like discipline.
Rather than use snapshots directly, it is often helpful to use the
methods like `commit_if_ok` or `probe` that encapsulte higher-level
methods like `commit_if_ok` or `probe` that encapsulate higher-level
patterns.
## Subtyping obligations