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

---
 src/actsim_agent/downloader.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/actsim_agent/downloader.cpp b/src/actsim_agent/downloader.cpp
index e16b3cd..d2709e4 100644
--- a/src/actsim_agent/downloader.cpp
+++ b/src/actsim_agent/downloader.cpp
@@ -297,7 +297,7 @@ bool Downloader::fetch_design([[maybe_unused]]const db::uuid_t& id, std::string&
 
     // and return the name of the file we just created
     design = std::string(temp_name);
-    delete temp_name;
+    delete[] temp_name;
 
     return true;
 }