diff options
| author | bors <bors@rust-lang.org> | 2017-12-11 04:27:58 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2017-12-11 04:27:58 +0000 |
| commit | 5f3bd73d8143f093c58f367b46434c2d555ef62d (patch) | |
| tree | d53515a9b6f5235f9b2053610668cb77cf64d2e3 | |
| parent | 830599b19538a4b30f0c4203d9e5f4e6b5cee0ff (diff) | |
| parent | 68529991885e105a0c60e47482b5f5038a323fd2 (diff) | |
| download | rust-5f3bd73d8143f093c58f367b46434c2d555ef62d.tar.gz rust-5f3bd73d8143f093c58f367b46434c2d555ef62d.zip | |
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...
| -rw-r--r-- | src/librustc/infer/README.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/librustc/infer/README.md b/src/librustc/infer/README.md index e7daff3e2c3..7f58d039060 100644 --- a/src/librustc/infer/README.md +++ b/src/librustc/infer/README.md @@ -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 |
