From 90dc262715cb5d0f55f95c7f3a53ba406c201f91 Mon Sep 17 00:00:00 2001
From: Reinhold Kainhofer <reinhold@kainhofer.com>
Date: Fri, 31 Jul 2009 14:07:47 +0200
Subject: [PATCH] MusicXML: Use correct bar line for short

---
 python/musicexp.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/python/musicexp.py b/python/musicexp.py
index 9ebdb70a00..b13c9ac201 100644
--- 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:
-- 
2.39.5