fmt

tautschnig · Jun 4, 2024 · 2e94219 · 2e94219
1 parent b32df89
commit 2e94219
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/expected/function-contract/diverging_loop.rs b/tests/expected/function-contract/diverging_loop.rs
@@ -1,6 +1,6 @@
 #[kani::ensures(result == 1)]
 fn foo() -> i32 {
-    loop {};
+    loop {}
     2
 }