Merge branch 'master' into lilypond/translation

[lilypond.git] / lily / include / main.hh

diff --git a/lily/include/main.hh b/lily/include/main.hh
index 7fa0905c83dc559bf0dc5c49950b263d58617d99..7c21437b809581b791ecde72541ed4f34d7b15d4 100644 (file)
--- a/lily/include/main.hh
+++ b/lily/include/main.hh
@@ -42,7 +42,6 @@ extern vector<string> start_environment_global;
 extern string output_backend_global;
 extern string output_name_global;
 extern bool be_safe_global;
-extern bool be_verbose_global;
 extern bool do_internal_type_checking_global;
 extern bool point_and_click_global;
 extern string lilypond_datadir;
@@ -62,7 +61,6 @@ extern int exit_status_global;
 extern File_path global_path;
 extern const char *LILYPOND_DATADIR;
 
-
 /*
   Debugging options: switch on