Handle LilyPond version better.

[lilypond.git] / python / musicexp.py

diff --git a/python/musicexp.py b/python/musicexp.py
index a0b13efcc6bb2ebfa7dc4c2a4f5e9a92230f280b..c2c2b1b60db63100e290aab008f5d4069a069924 100644 (file)
--- 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):