From 00b942c529b6e4f3b947a0fb0f217606e0c80876 Mon Sep 17 00:00:00 2001
From: Philipp van Kempen <philipp.van-kempen@tum.de>
Date: Fri, 9 Jan 2026 16:30:38 +0100
Subject: [PATCH] fix trace_gen exit code

---
 m2isar/backends/trace_gen/trace_gen.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/m2isar/backends/trace_gen/trace_gen.py b/m2isar/backends/trace_gen/trace_gen.py
index 7ca2b64f..6ca74779 100644
--- a/m2isar/backends/trace_gen/trace_gen.py
+++ b/m2isar/backends/trace_gen/trace_gen.py
@@ -136,8 +136,8 @@ def main():
     codeGen.generate("PrinterSource")
     codeGen.generate("InstructionPrintersSource")
 
-    return tracemodel_
-            
+    # return tracemodel_
+
 # Run this if called stand-alone (i.e. this file is directly called)
 if __name__ == '__main__':
     main()