From 8362809e2d0c083163be55ac8152089a23be7150 Mon Sep 17 00:00:00 2001
From: Holger Vogt <holger.vogt@uni-due.de>
Date: Sat, 4 Nov 2017 15:56:35 +0100
Subject: [PATCH] free -> txfree

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

diff --git a/src/winmain.c b/src/winmain.c
index 73e7bf7eb..209772afd 100644
--- a/src/winmain.c
+++ b/src/winmain.c
@@ -98,6 +98,7 @@ extern bool ft_batchmode;
 extern FILE *flogp;     /* definition see xmain.c, stdout redirected to file */
 
 extern void cp_doquit(void);
+extern void txfree(void *ptr);
 
 #include "winmain.h"
 
@@ -824,7 +825,7 @@ MakeArgcArgv(char *cmdline, int *argc, char ***argv)
  outahere:
     /*  free the working string if one was allocated */
     if (pWorkString)
-        free(pWorkString);
+        txfree(pWorkString);
 
     return status;
 }