- "PercentRepeat DoublePercentRepeat "
- "PercentRepeatCounter DoublePercentRepeatCounter",
- /* accept */ "repeated-music",
- /* read */ "measureLength currentCommandColumn",
+ "PercentRepeat "
+ "DoublePercentRepeat "
+ "PercentRepeatCounter "
+ "DoublePercentRepeatCounter",
+
+ /* accept */
+ "repeated-music",
+
+ /* read */
+ "measureLength "
+ "currentCommandColumn "
+ "countPercentRepeats",
+