From 4b5c61b5ac93daed6e2fa07782fdcd79f3ccac7e Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Wed, 27 May 2026 17:08:36 +0000
Subject: [PATCH] Adjust Windows env helper error handling

---
 src/cmd_context/tptp_frontend.cpp | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/src/cmd_context/tptp_frontend.cpp b/src/cmd_context/tptp_frontend.cpp
index ccc73bde43..9c5edfd408 100644
--- a/src/cmd_context/tptp_frontend.cpp
+++ b/src/cmd_context/tptp_frontend.cpp
@@ -1785,11 +1785,8 @@ class tptp_parser {
         char* buffer = nullptr;
         size_t len = 0;
         errno_t err = ::_dupenv_s(&buffer, &len, name);
-        if (err != 0) {
-            if (buffer)
-                std::free(buffer);
+        if (err != 0)
             return false;
-        }
         if (!buffer)
             return false;
         value.assign(buffer);