diff options
| author | Alexander Regueiro <alex@noldorin.com> | 2018-01-31 02:08:14 +0000 |
|---|---|---|
| committer | Who? Me?! <mark-i-m@users.noreply.github.com> | 2018-01-30 20:14:12 -0600 |
| commit | a3961062015b21793087eb0362ca3ffc8fe6584d (patch) | |
| tree | 3f6fe061ec8ef166c46844dfa7d2cf9ff1e63cbd /src | |
| parent | d959cf609cbfe7a16424b407d2dc9f7411af28f5 (diff) | |
| download | rust-a3961062015b21793087eb0362ca3ffc8fe6584d.tar.gz rust-a3961062015b21793087eb0362ca3ffc8fe6584d.zip | |
fixed grammatical oversight
Diffstat (limited to 'src')
| -rw-r--r-- | src/doc/rustc-dev-guide/src/incremental-compilation.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/doc/rustc-dev-guide/src/incremental-compilation.md b/src/doc/rustc-dev-guide/src/incremental-compilation.md index 5cee70dbd2b..2ab053e1730 100644 --- a/src/doc/rustc-dev-guide/src/incremental-compilation.md +++ b/src/doc/rustc-dev-guide/src/incremental-compilation.md @@ -107,7 +107,7 @@ not be executed at all. But now imagine that in the **next** compilation, the input has changed such that `subquery1` returns **false**. In this case, `subquery2` would never execute. If try-mark-green were to visit `reads(main_query)` out of order, -however, it visit `subquery2` before `subquery1`, and hence execute it. +however, it might visit `subquery2` before `subquery1`, and hence execute it. This can lead to ICEs and other problems in the compiler. [dep_graph]: https://github.com/rust-lang/rust/tree/master/src/librustc/dep_graph |