release: 0.0.37

[lilypond.git] / hdr / midi-main.hh

diff --git a/hdr/midi-main.hh b/hdr/midi-main.hh
index 4eb86c27d2d0c58797f1fddacaa25d519190d64c..b58e077d432d06309699da86f205cf55010c3db4 100644 (file)
--- a/hdr/midi-main.hh
+++ b/hdr/midi-main.hh
@@ -19,6 +19,9 @@ extern Verbose level_ver;
 #endif
 
 extern Source* source_l_g;
+extern bool no_triplets_bo_g;
 void message( String message_str, char const* context_ch_c_l );
 void warning( String message_str, char const* context_ch_c_l );
 void error( String message_str, char const* context_ch_c_l );
+
+String version_str();