From 8946d5a8f2326c881f818b93bc6fdf781d060270 Mon Sep 17 00:00:00 2001
From: Aaron Bembenek <aaron.bembenek@gmail.com>
Date: Mon, 19 Dec 2022 10:13:31 -0500
Subject: [PATCH] Fix?

---
 tests/cargo-kani/stubbing-use-foreign/src/lib.rs | 2 +-
 tests/kani/Stubbing/resolve_use_glob.rs          | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/tests/cargo-kani/stubbing-use-foreign/src/lib.rs b/tests/cargo-kani/stubbing-use-foreign/src/lib.rs
index 24dfaac4a6c5..07e86207a944 100644
--- a/tests/cargo-kani/stubbing-use-foreign/src/lib.rs
+++ b/tests/cargo-kani/stubbing-use-foreign/src/lib.rs
@@ -27,5 +27,5 @@ fn one() -> u32 {
 }
 
 fn two() -> u32 {
-    2 
+    2
 }
diff --git a/tests/kani/Stubbing/resolve_use_glob.rs b/tests/kani/Stubbing/resolve_use_glob.rs
index ff19fc1be4fc..f9092e9f1a55 100644
--- a/tests/kani/Stubbing/resolve_use_glob.rs
+++ b/tests/kani/Stubbing/resolve_use_glob.rs
@@ -47,6 +47,6 @@ mod my_mod {
     }
 
     fn two() -> u32 {
-        2 
+        2
     }
 }