[mcrl2ide] Fixed creating an empty project file when saving while no …

…project is open (cherry picked from commit d80b857)
mCRL2org · Aug 29, 2019 · 1e6fb43 · 1e6fb43
1 parent f12545f
commit 1e6fb43
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/release/mcrl2ide/filesystem.cpp b/tools/release/mcrl2ide/filesystem.cpp
@@ -976,7 +976,7 @@ bool FileSystem::saveAs()
    *   current as and save if successful */
   else
   {
-    if (newProject(false))
+    if (newProject(!projectOpen))
     {
       return save(true);
     }