diff --git a/control/workspace.c b/control/workspace.c
index 852402979c754194e26fec04c906ea8dfe47b941..931577f2ae3e8d1b7ccfd67e20325064beb8343e 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;