From 96206010b7bd847630506edb60a858bedd3ff441 Mon Sep 17 00:00:00 2001
From: Adrian Palacios <accorell@amazon.com>
Date: Thu, 15 Aug 2024 17:30:29 +0000
Subject: [PATCH] Format fixes

---
 kani-driver/src/project.rs | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/kani-driver/src/project.rs b/kani-driver/src/project.rs
index 4d6aee3a9a79..e0d2d2edd139 100644
--- a/kani-driver/src/project.rs
+++ b/kani-driver/src/project.rs
@@ -248,7 +248,14 @@ impl<'a> StandaloneProjectBuilder<'a> {
         let metadata = from_json(&self.metadata)?;
 
         // Create the project with the artifacts built by the compiler.
-        let result = Project::try_new(self.session, self.outdir, Some(self.input), vec![metadata], None, None);
+        let result = Project::try_new(
+            self.session,
+            self.outdir,
+            Some(self.input),
+            vec![metadata],
+            None,
+            None,
+        );
         if let Ok(project) = &result {
             self.session.record_temporary_files(&project.artifacts);
         }