diff --git a/kani-compiler/src/kani_middle/analysis.rs b/kani-compiler/src/kani_middle/analysis.rs
index 5a26fa071a19..e0bc91ccc652 100644
--- a/kani-compiler/src/kani_middle/analysis.rs
+++ b/kani-compiler/src/kani_middle/analysis.rs
@@ -35,7 +35,7 @@ pub fn print_stats<'tcx>(tcx: TyCtxt<'tcx>, items: &[InternalMonoItem<'tcx>]) {
                 },
             )
             .fold(StatsVisitor::default(), |mut visitor, body| {
-                visitor.visit_body(&body.body());
+                visitor.visit_body(&body.body().unwrap());
                 visitor
             });
         eprintln!("====== Reachability Analysis Result =======");