fmt

2023-08-21 05:39:33 +00:00 · 2023-08-21 05:39:33 +00:00 · 5356aa4304
commit 5356aa4304
parent f2fb4633f1
1 changed files with 1 additions and 1 deletions
--- a/src/tools/miri/src/shims/intrinsics/mod.rs
+++ b/src/tools/miri/src/shims/intrinsics/mod.rs
@ -44,7 +44,7 @@ fn call_intrinsic(
                    "the program aborted execution".to_owned()
                ))
            }
-            _ => {},
+            _ => {}
        }

        // All remaining supported intrinsics have a return place.