From 52b515e78d6762d6108d66ffd72e90e68423ffba Mon Sep 17 00:00:00 2001
From: Eugene Yip <eugene.yip@uni-bamberg.de>
Date: Mon, 12 Jul 2021 21:08:25 +0200
Subject: [PATCH] Clear the IA product trace when restarting the debugger

---
 vscode-ext/src/debugger/ia-debugger.ts | 1 +
 1 file changed, 1 insertion(+)

diff --git a/vscode-ext/src/debugger/ia-debugger.ts b/vscode-ext/src/debugger/ia-debugger.ts
index 17273e8..f6736fe 100644
--- a/vscode-ext/src/debugger/ia-debugger.ts
+++ b/vscode-ext/src/debugger/ia-debugger.ts
@@ -117,6 +117,7 @@ export function initDebugger(context: vscode.ExtensionContext) {
     context.subscriptions.push(vscode.debug.registerDebugAdapterTrackerFactory(DebuggerType, new IADebugAdapterTrackerFactory()))
     vscode.debug.onDidStartDebugSession(evt => {
         console.log('onDidStartDebugSession')
+        onNewProductTrace([])
         console.log(evt)
     })
     vscode.debug.onDidReceiveDebugSessionCustomEvent(async (evt) => {