From 231a482f314f9f3e3971aaf5f40cef0535743c09 Mon Sep 17 00:00:00 2001
From: JCGoran <JCGoran@users.noreply.github.com>
Date: Sun, 15 Dec 2024 18:17:11 +0100
Subject: [PATCH] Update src/oc/hoc.cpp

Co-authored-by: Nicolas Cornu <nicolas.cornu@epfl.ch>
---
 src/oc/hoc.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/oc/hoc.cpp b/src/oc/hoc.cpp
index 2612e50f9f..bdabcebe2c 100644
--- a/src/oc/hoc.cpp
+++ b/src/oc/hoc.cpp
@@ -960,7 +960,7 @@ void hoc_final_exit(void) {
     ivoc_cleanup();
     auto tmp_dir = std::getenv("TEMP");
     auto path = std::filesystem::path(tmp_dir ? std::string(tmp_dir) : "/tmp") /
-                ("oc" + std::to_string(hoc_pid())) / ".hl";
+                ("oc" + std::to_string(hoc_pid()) + ".hl");
     std::filesystem::remove(path);
 }