Fixed typo.

sireum · Mar 7, 2025 · 251b6f7 · 251b6f7
1 parent 8b16944
commit 251b6f7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/shared/src/main/scala/org/sireum/anvil/Anvil.scala b/shared/src/main/scala/org/sireum/anvil/Anvil.scala
@@ -754,7 +754,7 @@ import Anvil._
         output.add(F, irProcedurePath(proc.id, proc.tipe, stage, pass, "offset"), proc.prettyST)
         pass = pass + 1
 
-        proc = anvil.transformStackTraceDesc(mainContext == p.context, p)
+        proc = anvil.transformStackTraceDesc(mainContext == p.context, proc)
         output.add(F, irProcedurePath(proc.id, proc.tipe, stage, pass, "stack-frame-desc"), proc.prettyST)
         pass = pass + 1