Index: lily/include/performance.hh |
diff --git a/lily/include/performance.hh b/lily/include/performance.hh |
index bc1664a8c3ead780bfbe4e91ef3e46c803fc9653..082f78469d02bb32b7914e1c3aec7b58aa725057 100644 |
--- a/lily/include/performance.hh |
+++ b/lily/include/performance.hh |
@@ -29,15 +29,15 @@ class Performance : public Music_output |
public: |
Performance (bool ports = false); |
~Performance (); |
- DECLARE_CLASSNAME (Performance); |
+ OVERRIDE_CLASS_NAME (Performance); |
SCM get_header () const; |
void set_header (SCM header); |
- virtual void derived_mark () const; |
+ void derived_mark () const override; |
void add_element (Audio_element *p); |
- virtual void process (); |
+ void process () override; |
void remap_grace_durations (); |
void output (Midi_stream &midi_stream, const string &performance_name) const; |
void output_header_track (Midi_stream &midi_stream) const; |