Better UI 2

2026-10-29 19:08:43 +00:00 · 2025-10-16 14:44:50 +01:00
parent 010dfa7751
commit fc79a46c7a
2 changed files with 21 additions and 13 deletions
@@ -77,10 +77,7 @@ impl TerminalProgressReporter {

 impl ProgressReporter for TerminalProgressReporter {
    fn objective_posted(&self, objective: &str) {
-        let objective_line = format!(
-            "{}",
-            format!("→ objective: {objective}")
-        );
+        let objective_line = format!("{}", format!("→ objective: {objective}"));
        self.print_exchange("user", "solver", vec![objective_line], true);
    }