diff options
| author | Joshua Nelson <jnelson@cloudflare.com> | 2022-07-06 07:44:47 -0500 |
|---|---|---|
| committer | Joshua Nelson <jnelson@cloudflare.com> | 2022-07-13 17:47:06 -0500 |
| commit | 3c9765cff18a3c4ba2962ea59d4c3f6966f9700c (patch) | |
| tree | 803c007988b9d19bafd59699de01bf64d030f452 /compiler/rustc_middle/src/mir/graphviz.rs | |
| parent | c80dde43f992f3eb419899a34551b84c6301f8e8 (diff) | |
| download | rust-3c9765cff18a3c4ba2962ea59d4c3f6966f9700c.tar.gz rust-3c9765cff18a3c4ba2962ea59d4c3f6966f9700c.zip | |
Rename `debugging_opts` to `unstable_opts`
This is no longer used only for debugging options (e.g. `-Zoutput-width`, `-Zallow-features`). Rename it to be more clear.
Diffstat (limited to 'compiler/rustc_middle/src/mir/graphviz.rs')
| -rw-r--r-- | compiler/rustc_middle/src/mir/graphviz.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/rustc_middle/src/mir/graphviz.rs b/compiler/rustc_middle/src/mir/graphviz.rs index 92c7a358c0a..5de56dad07a 100644 --- a/compiler/rustc_middle/src/mir/graphviz.rs +++ b/compiler/rustc_middle/src/mir/graphviz.rs @@ -57,11 +57,11 @@ where W: Write, { // Global graph properties - let font = format!(r#"fontname="{}""#, tcx.sess.opts.debugging_opts.graphviz_font); + let font = format!(r#"fontname="{}""#, tcx.sess.opts.unstable_opts.graphviz_font); let mut graph_attrs = vec![&font[..]]; let mut content_attrs = vec![&font[..]]; - let dark_mode = tcx.sess.opts.debugging_opts.graphviz_dark_mode; + let dark_mode = tcx.sess.opts.unstable_opts.graphviz_dark_mode; if dark_mode { graph_attrs.push(r#"bgcolor="black""#); graph_attrs.push(r#"fontcolor="white""#); |