diff --git a/crates/oxide_cfg/src/finalize.rs b/crates/oxide_cfg/src/finalize.rs
index e937d7d4..7e826e2f 100644
--- a/crates/oxide_cfg/src/finalize.rs
+++ b/crates/oxide_cfg/src/finalize.rs
@@ -19,7 +19,7 @@ pub(super) fn finalize(mut blocks: Vec<BasicBlock>, exit_id: usize) -> Cfg {
             preds_total += 1;
         }
     }
-    debug_assert_eq!(succs_total, preds_total, "succs/preds 不对称（Pitfall 4）");
+    debug_assert_eq!(succs_total, preds_total, "succs/preds 不对称：succ 边总数须等于 pred 边总数");
 
     Cfg {
         blocks,