From e9436919ada20c5fd2495579995d9c77e253eed6 Mon Sep 17 00:00:00 2001
From: Fabian Posch <fabian@posch.tech>
Date: Tue, 16 Jan 2024 17:18:41 -0500
Subject: [PATCH] fix delete instead of delete[]

---
 src/actsim_agent/worker.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/actsim_agent/worker.cpp b/src/actsim_agent/worker.cpp
index 9fef017..58d266e 100644
--- a/src/actsim_agent/worker.cpp
+++ b/src/actsim_agent/worker.cpp
@@ -437,8 +437,8 @@ std::unique_ptr<OutputType> Worker::perform_task(std::unique_ptr<InputType>& tas
 
     }
 
-    delete design_char;
-    delete top_proc_char;
+    delete[] design_char;
+    delete[] top_proc_char;
 
     return result;