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 */ { $$ = NULL; } - | workspace_name { $$ = $1; } + | WHITESPACE workspace_name { $$ = $1; } ; workspace_name: