diff --git a/evm_arithmetization/src/generation/mod.rs b/evm_arithmetization/src/generation/mod.rs
index 6ec02ea73..023e1f2ac 100644
--- a/evm_arithmetization/src/generation/mod.rs
+++ b/evm_arithmetization/src/generation/mod.rs
@@ -620,6 +620,11 @@ pub fn generate_traces<F: RichField + Extendable<D>, const D: usize>(
         )
     );
 
+    let is_last_segment =
+        segment_data.registers_after.program_counter == KERNEL.global_labels["halt"];
+    if is_last_segment && final_len != 0 {
+        log::warn!("This is the last segment, but MemoryAfter is still not empty!");
+    }
     if final_len == 0 && OPTIONAL_TABLE_INDICES.contains(&MemAfter) {
         log::debug!("MemAfter table not in use");
         table_in_use[*MemAfter] = false;