From 5e11e1e19b3f59c45fd95cf3658de6a0ddf232f6 Mon Sep 17 00:00:00 2001
From: Goran Jelic-Cizmek <goran.jelic-cizmek@epfl.ch>
Date: Mon, 16 Dec 2024 10:19:32 +0100
Subject: [PATCH] Put back Windows-specific part of cleanup

---
 src/oc/hoc.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/oc/hoc.cpp b/src/oc/hoc.cpp
index a39f87a5e2..fc8f20c953 100644
--- a/src/oc/hoc.cpp
+++ b/src/oc/hoc.cpp
@@ -958,6 +958,9 @@ void hoc_final_exit(void) {
     rl_deprep_terminal();
 #endif
     ivoc_cleanup();
+#if defined(WIN32) && HAVE_IV
+    ivoc_win32_cleanup();
+#endif
     auto tmp_dir = std::getenv("TEMP");
     auto path = std::filesystem::path(tmp_dir ? std::string(tmp_dir) : "/tmp") /
                 fmt::format("oc{}.hl", hoc_pid());