diff --git a/compiler/rustc_session/src/options.rs b/compiler/rustc_session/src/options.rs
index 5256237336c..58ea6ef1f9e 100644
--- a/compiler/rustc_session/src/options.rs
+++ b/compiler/rustc_session/src/options.rs
@@ -1481,7 +1481,7 @@ pub(crate) fn parse_solver_proof_tree_condition(
     dump_solver_proof_tree: SolverProofTreeCondition = (SolverProofTreeCondition::OnRequest, parse_solver_proof_tree_condition, [UNTRACKED],
         "dump a proof tree for every goal evaluated by the new trait solver. If the flag is specified without any options after it
         then it defaults to `always`. If the flag is not specified at all it defaults to `on-request`."),
-    dump_solver_proof_tree_uses_cache: Option<bool> = (None, parse_opt_bool, [UNTRACKED],
+    dump_solver_proof_tree_use_cache: Option<bool> = (None, parse_opt_bool, [UNTRACKED],
         "determines whether proof tree generation uses the global cache"),
     dwarf_version: Option<u32> = (None, parse_opt_number, [TRACKED],
         "version of DWARF debug information to emit (default: 2 or 4, depending on platform)"),
diff --git a/compiler/rustc_trait_selection/src/solve/eval_ctxt.rs b/compiler/rustc_trait_selection/src/solve/eval_ctxt.rs
index 1d7c5a13068..b2e464bd7fb 100644
--- a/compiler/rustc_trait_selection/src/solve/eval_ctxt.rs
+++ b/compiler/rustc_trait_selection/src/solve/eval_ctxt.rs
@@ -183,7 +183,7 @@ fn enter_root<R>(
         let inspect = {
             let generate_proof_tree = match (
                 infcx.tcx.sess.opts.unstable_opts.dump_solver_proof_tree,
-                infcx.tcx.sess.opts.unstable_opts.dump_solver_proof_tree_uses_cache,
+                infcx.tcx.sess.opts.unstable_opts.dump_solver_proof_tree_use_cache,
                 generate_proof_tree,
             ) {
                 (_, Some(use_cache), GenerateProofTree::Yes(_)) => {