From 8bb50ad70ced4d0618e656a31f16797467771e0e Mon Sep 17 00:00:00 2001
From: Morgan Thomas <morgan.a.s.thomas@gmail.com>
Date: Thu, 4 Dec 2025 17:05:13 +0000
Subject: [PATCH] reverse stack trace in order to place last_pc on correct line

---
 crates/lean_vm/src/diagnostics/stack_trace.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/crates/lean_vm/src/diagnostics/stack_trace.rs b/crates/lean_vm/src/diagnostics/stack_trace.rs
index c3b4487e..2fe17230 100644
--- a/crates/lean_vm/src/diagnostics/stack_trace.rs
+++ b/crates/lean_vm/src/diagnostics/stack_trace.rs
@@ -97,7 +97,7 @@ pub(crate) fn pretty_stack_trace(
 
     if !call_stack.is_empty() {
         result.push_str("\nCall stack:\n");
-        for (i, (line, func)) in call_stack.iter().enumerate() {
+        for (i, (line, func)) in call_stack.iter().rev().enumerate() {
             if i + 1 == call_stack.len() {
                 result.push_str(&format!("  {}. {} (line {}, pc {})\n", i + 1, func, line, last_pc));
             } else {