From 2b924c2a23cf96b02b12ad788623f5c8c7c556ac Mon Sep 17 00:00:00 2001
From: Zyad Hassan <zyadh@amazon.com>
Date: Fri, 27 Sep 2024 16:23:58 -0700
Subject: [PATCH] fmt

---
 kani-driver/src/args/mod.rs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/kani-driver/src/args/mod.rs b/kani-driver/src/args/mod.rs
index 7dbfffbdad7c..f950d5f4a500 100644
--- a/kani-driver/src/args/mod.rs
+++ b/kani-driver/src/args/mod.rs
@@ -939,7 +939,8 @@ mod tests {
 
     #[test]
     fn check_cbmc_args_aeneas_backend() {
-        let args = "kani input.rs -Z aeneas --enable-unstable --cbmc-args --object-bits 10".split_whitespace();
+        let args = "kani input.rs -Z aeneas --enable-unstable --cbmc-args --object-bits 10"
+            .split_whitespace();
         let err = StandaloneArgs::try_parse_from(args).unwrap().validate().unwrap_err();
         assert_eq!(err.kind(), ErrorKind::ArgumentConflict);
     }