From 8e4f11df52a9091ccf735c3482af9199e6d69064 Mon Sep 17 00:00:00 2001
From: Oliver Sander <sander@igpm.rwth-aachen.de>
Date: Sat, 22 Feb 2014 22:19:03 +0100
Subject: [PATCH] Properly free a buffer, to avoid a memory leak
---
ui/cmdint.c | 3 +++
1 file changed, 3 insertions(+)
diff --git a/ui/cmdint.c b/ui/cmdint.c
index 69d46e819..21770a414 100644
--- a/ui/cmdint.c
+++ b/ui/cmdint.c
@@ -2836,6 +2836,9 @@ INT NS_DIM_PREFIX ExitCommandInterpreter()
{
free(cmdBuffer);
free(executeBuffer);
+#ifdef ModelP
+ free(execCmdBuffer);
+#endif
free(programBuffer);
return 0;
--
GitLab