From 253637fbe2ba60bea279bc74bfd7dcfd4f65d6b9 Mon Sep 17 00:00:00 2001
From: Goran Jelic-Cizmek <goran.jelic-cizmek@epfl.ch>
Date: Tue, 17 Dec 2024 15:44:53 +0100
Subject: [PATCH] Forgot `.string()`

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

diff --git a/src/oc/fileio.cpp b/src/oc/fileio.cpp
index 6068bc68da..e5df107258 100644
--- a/src/oc/fileio.cpp
+++ b/src/oc/fileio.cpp
@@ -542,9 +542,9 @@ static std::optional<std::string> search_hoc_files_regex(const std::regex& patte
         std::vector<std::string> paths_hoc;
         for (const auto& entry: fs::directory_iterator(path)) {
             if (entry.is_regular_file() && entry.path().extension() == ".oc") {
-                paths_oc.push_back(entry.path());
+                paths_oc.push_back(entry.path().string());
             } else if (entry.is_regular_file() && entry.path().extension() == ".hoc") {
-                paths_hoc.push_back(entry.path());
+                paths_hoc.push_back(entry.path().string());
             }
         }
         std::sort(paths_oc.begin(), paths_oc.end(), std::locale());