From f2dcc36333441f2f8effa8a5e39a3a210c583c63 Mon Sep 17 00:00:00 2001
From: Michael Stapelberg <michael@stapelberg.de>
Date: Sun, 8 Nov 2009 21:43:47 +0100
Subject: [PATCH] Bugfix: WHITESPACE was missing in front of the workspace name
 (Thanks Mirko)

---
 src/cfgparse.y | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/cfgparse.y b/src/cfgparse.y
index 1669b4ab..a33ecaf1 100644
--- a/src/cfgparse.y
+++ b/src/cfgparse.y
@@ -404,7 +404,7 @@ workspace:
 
 optional_workspace_name:
         /* empty */                     { $<string>$ = NULL; }
-        | workspace_name                { $<string>$ = $<string>1; }
+        | WHITESPACE workspace_name     { $<string>$ = $<string>1; }
         ;
 
 workspace_name:
-- 
2.39.5