lilypond-0.0.74pre

diff --git a/Documentation/AUTHORS.pod b/Documentation/AUTHORS.pod
index dc2f0b243121c89186aa0f69128de03708a56741..d79edec2063d7f4a06fa7967f75021aeec0538aa 100644 (file)
--- a/Documentation/AUTHORS.pod
+++ b/Documentation/AUTHORS.pod
@@ -12,17 +12,18 @@ This file lists authors of GNU LilyPond, and what they wrote.
 
 =item *
 
-Han-Wen Nienhuys <hanwen@stack.nl>
+Han-Wen Nienhuys <hanwen@stack.nl>, http://www.stack.nl/~hanwen
 
 Main author, all files files except mentioned below
 
 =item *
 
-Jan Nieuwenhuizen <jan@digicash.com>
+Jan Nieuwenhuizen <jan@digicash.com>, http://www.digicash.com/~jan
 
 lily/midi-*, mi2mu/*, parts flower/string*.cc, make/*.make, */Makefile
 parts of Documentation/mudela.pod, lib/*source-file*, lib/duration.cc,
-lib/source, flower/*{list,cursor}*,  
+lib/source, flower/*{list,cursor}*,  lily/rest-collision*, conflily,
+cygnus w32 stuff
 
 and corresponding header files.
 

diff --git a/lily/include/staff-sym-grav.hh b/lily/include/staff-sym-grav.hh
index 3e0043ed31a002cdb57c4df5d5decd4b6ef6941b..b606abf0141894e63c6b1ee7ccfa823908584c0e 100644 (file)
--- a/lily/include/staff-sym-grav.hh
+++ b/lily/include/staff-sym-grav.hh
@@ -1,5 +1,5 @@
 /*
-  staff-sym-grav.hh -- declare 
+  staff-sym-grav.hh -- declare Staff_sym_engraver
 
   source file of the GNU LilyPond music typesetter
 
@@ -21,6 +21,7 @@ public:
     Staff_sym_engraver();
     NAME_MEMBERS();
 protected:
+    virtual ~Staff_sym_engraver();
     virtual void do_process_requests();
     virtual void fill_staff_info(Staff_info&);
     virtual void do_removal_processing();

diff --git a/lily/staff-sym-grav.cc b/lily/staff-sym-grav.cc
index 2e093b0c71bc13b7d06d6a4097806f1f363e3ba7..2894a34120e0164cafc12f65fb01f20df9cb41b3 100644 (file)
--- a/lily/staff-sym-grav.cc
+++ b/lily/staff-sym-grav.cc
@@ -18,6 +18,11 @@ Staff_sym_engraver::fill_staff_info(Staff_info&i)
     i.staff_sym_l_ = span_p_;
 }
 
+Staff_sym_engraver::~Staff_sym_engraver()
+{
+    assert( !span_p_);
+}
+
 Staff_sym_engraver::Staff_sym_engraver()
 {
    span_p_ = 0;