From 76b1a1285640e3e7cef294d7951db51b92874a50 Mon Sep 17 00:00:00 2001
From: Julian Orth <ju.orth@gmail.com>
Date: Sun, 1 Sep 2024 10:04:42 +0200
Subject: [PATCH] tree: never return dummy workspace from ensure_workspace

---
 src/tree/output.rs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/tree/output.rs b/src/tree/output.rs
index 1bedcd31..0df37498 100644
--- a/src/tree/output.rs
+++ b/src/tree/output.rs
@@ -436,7 +436,9 @@ impl OutputNode {
 
     pub fn ensure_workspace(self: &Rc<Self>) -> Rc<WorkspaceNode> {
         if let Some(ws) = self.workspace.get() {
-            return ws;
+            if !ws.is_dummy {
+                return ws;
+            }
         }
         let name = 'name: {
             for i in 1.. {