Format fixes

adpaco-aws · Aug 15, 2024 · 9620601 · 9620601
1 parent 0162d30
commit 9620601
Showing 1 changed file with 8 additions and 1 deletion.
diff --git 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);
         }