Fix?

model-checking · Dec 19, 2022 · 8946d5a · 8946d5a
1 parent fa6a70f
commit 8946d5a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -47,6 +47,6 @@ mod my_mod {
     }
 
     fn two() -> u32 {
-        2 
+        2
     }
 }