From 11049f6a265cbad215cb03104b8627c795f5b308 Mon Sep 17 00:00:00 2001
From: Derek Christ <derek.christ@uni-wuerzburg.de>
Date: Wed, 21 May 2025 17:18:32 +0200
Subject: [PATCH] Fix StlPlayer crash at end

---
 src/simulator/simulator/player/StlPlayer.h | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/simulator/simulator/player/StlPlayer.h b/src/simulator/simulator/player/StlPlayer.h
index 53f567fd..369d1226 100644
--- a/src/simulator/simulator/player/StlPlayer.h
+++ b/src/simulator/simulator/player/StlPlayer.h
@@ -68,6 +68,12 @@ public:
               TraceType traceType,
               bool storageEnabled);
 
+    //TODO temporary fix
+    ~StlPlayer() {
+        if (parserThread.joinable())
+            parserThread.join();
+    }
+
     Request nextRequest() override;
     sc_core::sc_time nextTrigger() override;
     uint64_t totalRequests() override { return numberOfLines; }