From 14bb63490c28e7fa86195a1cf3138069cc5d7dde Mon Sep 17 00:00:00 2001
From: Holger Vogt <holger.vogt@uni-due.de>
Date: Sat, 22 Jun 2024 16:32:41 +0200
Subject: [PATCH] Plug a memory leak

---
 src/frontend/inpcom.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/frontend/inpcom.c b/src/frontend/inpcom.c
index 2a29d5eef..2354af385 100644
--- a/src/frontend/inpcom.c
+++ b/src/frontend/inpcom.c
@@ -9504,7 +9504,7 @@ int add_to_sourcepath(const char* filepath, const char* path)
 
     /* if filepath, remove file entry */
     if (path)
-        fpath = path;
+        fpath = copy(path);
     else
         fpath = ngdirname(filepath);
 
@@ -9531,5 +9531,6 @@ int add_to_sourcepath(const char* filepath, const char* path)
         wl_free(wl);
     }
 
+    tfree(fpath);
     return 0;
 }