ide: workspace: fix memory leak.

diff --git a/ide/src/project/Workspace.ec b/ide/src/project/Workspace.ec
index e40da89..eaa5367 100644 (file)
--- a/ide/src/project/Workspace.ec
+++ b/ide/src/project/Workspace.ec
@@ -859,6 +859,7 @@ public:
 
    void Free()
    {
+      delete name;
       delete workspaceFile;
       delete workspaceDir;
       delete commandLineArgs;