fmt

Author: tautschnig

kani-driver/src/cbmc_property_renderer.rs

@@ -192,13 +192,14 @@ pub fn kani_cbmc_output_filter(
             if suppress_terminal {
                 // Write to log file instead of terminal
                 if let Some(log_path) = log_file
-                    && let Err(e) = write_to_log_file(log_path, &fmt_item) {
-                        eprintln!(
-                            "Failed to write CBMC output to log file {}: {}",
-                            log_path.display(),
-                            e
-                        );
-                    }
+                    && let Err(e) = write_to_log_file(log_path, &fmt_item)
+                {
+                    eprintln!(
+                        "Failed to write CBMC output to log file {}: {}",
+                        log_path.display(),
+                        e
+                    );
+                }
             } else {
                 // Normal terminal output
                 println!("{fmt_item}");