diff options
Diffstat (limited to 'src/rustdoc/page_pass.rs')
| -rw-r--r-- | src/rustdoc/page_pass.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/rustdoc/page_pass.rs b/src/rustdoc/page_pass.rs index e3f2c4235e7..d86eecc9699 100644 --- a/src/rustdoc/page_pass.rs +++ b/src/rustdoc/page_pass.rs @@ -43,7 +43,7 @@ type page_chan = comm::chan<option<doc::page>>; fn make_doc_from_pages(page_port: page_port) -> doc::doc { let mut pages = []; - while true { + loop { let val = comm::recv(page_port); if option::is_some(val) { pages += [option::unwrap(val)]; |