diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2019-11-16 16:12:09 +0100 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2020-03-02 13:15:51 +0100 |
| commit | 8858d71d28d68a0063f3ccab1fbf378d69afc78b (patch) | |
| tree | 4fba810613c4117e5bb0771de81a61280c6537c1 /src/librustdoc/html/render | |
| parent | 6af4fd385ec23145bc3ba08f700c61361ae961c0 (diff) | |
| download | rust-8858d71d28d68a0063f3ccab1fbf378d69afc78b.tar.gz rust-8858d71d28d68a0063f3ccab1fbf378d69afc78b.zip | |
Put back output-format option for show-coverage
Diffstat (limited to 'src/librustdoc/html/render')
| -rw-r--r-- | src/librustdoc/html/render/cache.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/librustdoc/html/render/cache.rs b/src/librustdoc/html/render/cache.rs index a0a35e4ce4b..4198369eca8 100644 --- a/src/librustdoc/html/render/cache.rs +++ b/src/librustdoc/html/render/cache.rs @@ -139,6 +139,7 @@ impl Cache { deref_trait_did, deref_mut_trait_did, owned_box_did, + .. } = renderinfo; let external_paths = |