address clippy lint

ProvableHQ · Dec 16, 2024 · c06978f · c06978f
1 parent d3b618e
commit c06978f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/interpreter/src/ratatui_ui.rs b/interpreter/src/ratatui_ui.rs
@@ -352,7 +352,7 @@ impl Ui for RatatuiUi {
     fn display_user_data(&mut self, data: &UserData<'_>) {
         self.data.code = data.code.to_string();
         self.data.highlight = data.highlight;
-        self.data.result = data.result.map(|s| s.to_string()).unwrap_or(String::new());
+        self.data.result = data.result.map(|s| s.to_string()).unwrap_or_default();
         self.data.watchpoints.clear();
         self.data.watchpoints.extend(data.watchpoints.iter().enumerate().map(|(i, s)| format!("{i:>2} {s}")));
         self.data.message = data.message.to_string();