report-coverage: Avoid triggering rust-lang/rust#79813 warning

GaloisInc · Jul 5, 2023 · a1c0bbc · a1c0bbc
1 parent 4658042
commit a1c0bbc
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/crux-mir/report-coverage/src/main.rs b/crux-mir/report-coverage/src/main.rs
@@ -306,7 +306,9 @@ fn parse_branch(json: &Value) -> Result<BranchTrans, String> {
             Ok(BranchTrans::DropFlag)
         },
 
-        _ => die!("unknown tag {:?} for branch", tag),
+        _ => {
+            die!("unknown tag {:?} for branch", tag);
+        },
     }
 }