diff options
| author | John Gourlay <john@weathervanefarm.net> | 2016-03-04 22:27:02 -0500 |
|---|---|---|
| committer | John Gourlay <john@weathervanefarm.net> | 2016-03-04 22:27:02 -0500 |
| commit | 42b6a1852760ac7f46ce894e82a64bbe6c2cff70 (patch) | |
| tree | 1cf7cb4df5f8e18b7999586f0f014c0d88780751 /python | |
| parent | edb29ef3aa71bdc6d3d1fcd997836e7727dc2934 (diff) | |
Handle LilyPond version better.
Diffstat (limited to 'python')
| -rw-r--r-- | python/musicexp.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/python/musicexp.py b/python/musicexp.py index a0b13efcc6..c2c2b1b60d 100644 --- a/python/musicexp.py +++ b/python/musicexp.py @@ -57,8 +57,8 @@ class Output_printer(object): def set_file (self, file): self._file = file - def dump_version (self): - self.print_verbatim ('\\version "2.19.15"') + def dump_version (self, version): + self.print_verbatim ('\\version "' + version + '"') self.newline () def get_indent (self): |