From 2641321ea2cba20e9f3918ae35902f5d40ab33b3 Mon Sep 17 00:00:00 2001
From: Mathieu Faverge <mathieu.faverge@inria.fr>
Date: Thu, 25 Jan 2018 18:51:25 +0100
Subject: [PATCH] Add missing destroy in workspace
---
control/workspace.c | 2 ++
1 file changed, 2 insertions(+)
diff --git a/control/workspace.c b/control/workspace.c
index 852402979..931577f2a 100644
--- a/control/workspace.c
+++ b/control/workspace.c
@@ -199,6 +199,8 @@ int MORSE_Dealloc_Workspace(MORSE_desc_t **desc)
return MORSE_ERR_UNALLOCATED;
}
morse_desc_mat_free( *desc );
+ RUNTIME_desc_destroy( *desc );
+
free(*desc);
*desc = NULL;
return MORSE_SUCCESS;
--
GitLab