release: 1.2.13

[lilypond.git] / lily / staff-margin-engraver.cc

diff --git a/lily/staff-margin-engraver.cc b/lily/staff-margin-engraver.cc
index c637ff46235f9197a68d29a22aaf7b6d1eee00d1..706d89e990411549a4d5d182e33859e79d5e48bb 100644 (file)
--- a/lily/staff-margin-engraver.cc
+++ b/lily/staff-margin-engraver.cc
@@ -42,9 +42,9 @@ Staff_margin_engraver::acknowledge_element (Score_element_info inf)
 
 
   String long_str = get_property ("instrument", 0);
-  String str = get_property ("instr", 0);
-  if (now_mom () > Moment (0) && str.length_i ())
-    long_str = str;
+  String short_str = get_property ("instr", 0);
+  if (now_mom () > Moment (0))
+    long_str = short_str;
 
   if (long_str.empty_b ())
     return;