MusicXML: Use correct bar line for short

diff --git a/python/musicexp.py b/python/musicexp.py
index 9ebdb70a0005d8e93d403a0d7ba8568fa470a1b5..b13c9ac2015c28260f073e6740cce5d0f0d04deb 100644 (file)
--- a/python/musicexp.py
+++ b/python/musicexp.py
@@ -1,3 +1,4 @@
+# -*- coding: utf-8 -*-
 import inspect
 import sys
 import string
@@ -907,7 +908,7 @@ class BarLine (Music):
         bar_symbol = { 'regular': "|", 'dotted': ":", 'dashed': "dashed",
                        'heavy': "|", 'light-light': "||", 'light-heavy': "|.",
                        'heavy-light': ".|", 'heavy-heavy': ".|.", 'tick': "'",
-                       'short': "'|", 'none': "" }.get (self.type, None)
+                       'short': "'", 'none': "" }.get (self.type, None)
         if bar_symbol <> None:
             printer.dump ('\\bar "%s"' % bar_symbol)
         else: