strip double ' ', to adapt to new string_split() semantics

diff --git a/lily/lily-guile.cc b/lily/lily-guile.cc
index e5cdbc77f2732aef18d0e38794ccbf950e9aa710..9da6823f194e89e91ab15a13c4ab751ed3b4d03e 100644 (file)
--- a/lily/lily-guile.cc
+++ b/lily/lily-guile.cc
@@ -663,6 +663,7 @@ parse_symbol_list (char const *symbols)
   string s = symbols;
   replace_all (s, '\n', ' ');
   replace_all (s, '\t', ' ');
+  replace_all (s, "  ", " ");
   return ly_string_array_to_scm (string_split (s, ' '));
 }