revision -> iteration for added_goals_evaluation

rust-lang · Aug 14, 2023 · 55a7f9f · 55a7f9f
1 parent 27e4877
commit 55a7f9f
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/compiler/rustc_middle/src/traits/solve/inspect/format.rs b/compiler/rustc_middle/src/traits/solve/inspect/format.rs
@@ -133,10 +133,10 @@ impl<'a, 'b> ProofTreeFormatter<'a, 'b> {
     ) -> std::fmt::Result {
         writeln!(self.f, "TRY_EVALUATE_ADDED_GOALS: {:?}", added_goals_evaluation.result)?;
 
-        for (n, revision) in added_goals_evaluation.evaluations.iter().enumerate() {
-            writeln!(self.f, "REVISION {n}")?;
+        for (n, iterations) in added_goals_evaluation.evaluations.iter().enumerate() {
+            writeln!(self.f, "ITERATION {n}")?;
             self.nested(|this| {
-                for goal_evaluation in revision {
+                for goal_evaluation in iterations {
                     this.format_goal_evaluation(goal_evaluation)?;
                 }
                 Ok(())