Unnamed repository; edit this file 'description' to name the repository.
fix RA build
Ralf Jung 2023-08-20
parent 6245d8d · commit f971c60
-rw-r--r--crates/hir-ty/src/mir.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/crates/hir-ty/src/mir.rs b/crates/hir-ty/src/mir.rs
index 76a535e306..9be083d011 100644
--- a/crates/hir-ty/src/mir.rs
+++ b/crates/hir-ty/src/mir.rs
@@ -368,7 +368,7 @@ pub enum TerminatorKind {
///
/// Only permitted in cleanup blocks. `Resume` is not permitted with `-C unwind=abort` after
/// deaggregation runs.
- Resume,
+ UnwindResume,
/// Indicates that the landing pad is finished and that the process should abort.
///