X-Git-Url: https://git.donarmstrong.com/?a=blobdiff_plain;f=python%2Fmusicexp.py;h=c2c2b1b60db63100e290aab008f5d4069a069924;hb=42b6a1852760ac7f46ce894e82a64bbe6c2cff70;hp=a0b13efcc6bb2ebfa7dc4c2a4f5e9a92230f280b;hpb=edb29ef3aa71bdc6d3d1fcd997836e7727dc2934;p=lilypond.git 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):