From 1663a7cdf55b32b9d7bc5c6dea24385d10a45049 Mon Sep 17 00:00:00 2001
From: Mathieu Faverge <mathieu.faverge@inria.fr>
Date: Wed, 24 Jan 2018 17:01:11 +0100
Subject: [PATCH] Add a missing destroy
---
control/descriptor.c | 1 +
1 file changed, 1 insertion(+)
diff --git a/control/descriptor.c b/control/descriptor.c
index 74dab8e34..245932989 100644
--- a/control/descriptor.c
+++ b/control/descriptor.c
@@ -747,6 +747,7 @@ int MORSE_Desc_Destroy(MORSE_desc_t **desc)
return MORSE_ERR_UNALLOCATED;
}
+ RUNTIME_desc_destroy( *desc );
morse_desc_mat_free( *desc );
free(*desc);
*desc = NULL;
--
GitLab