From 850f09b109ebdaafe3dc7cf94b99278342227b81 Mon Sep 17 00:00:00 2001 From: Martin Milata Date: Thu, 26 Jan 2023 14:10:18 +0100 Subject: [PATCH] tools/mpy-tool.py: Initialize line_info_top. Without it the line number mapping doesn't work. Signed-off-by: Martin Milata --- tools/mpy-tool.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/tools/mpy-tool.py b/tools/mpy-tool.py index 0b8a0403c..fe83305d7 100755 --- a/tools/mpy-tool.py +++ b/tools/mpy-tool.py @@ -936,6 +936,10 @@ class RawCode(object): " .line_info = fun_data_%s + %u," % (self.escaped_name, self.offset_line_info) ) + print( + " .line_info_top = fun_data_%s + %u," + % (self.escaped_name, self.offset_closure_info) + ) print( " .opcodes = fun_data_%s + %u," % (self.escaped_name, self.offset_opcodes) )