patch::: 1.3.86.jcn1

[lilypond.git] / lily / include / property-iterator.hh

diff --git a/lily/include/property-iterator.hh b/lily/include/property-iterator.hh
index 7591fce27748d4e7e510af6bf88ec8a510031741..66c7143656c65092f9260591c7efe1b556a24484 100644 (file)
--- a/lily/include/property-iterator.hh
+++ b/lily/include/property-iterator.hh
@@ -21,6 +21,7 @@
 class Property_iterator : public Music_iterator
 {
 public:
+  VIRTUAL_COPY_CONS (Music_iterator);
   // construction  
 protected:
   virtual void do_process_and_next (Moment);
@@ -28,12 +29,16 @@ protected:
 
 class Push_property_iterator : public Music_iterator
 {
+public:
+  VIRTUAL_COPY_CONS (Music_iterator);
 protected:
   virtual void do_process_and_next (Moment);
 };
 
 class Pop_property_iterator : public Music_iterator
 {
+public:
+  VIRTUAL_COPY_CONS (Music_iterator);
 protected:
   virtual void do_process_and_next (Moment);
 };