pushproperty question

[Han-Wen Nienhuys]

oops.

try this
--- translation-property.hh~    Tue Aug 29 19:43:23 2000
+++ translation-property.hh     Wed Aug 30 21:27:19 2000
@@ -39,6 +39,7 @@
 class Push_translation_property : public Music
 {
 public:
+  VIRTUAL_COPY_CONS(Music);
 };

 /**
@@ -51,6 +52,7 @@
 class Pop_translation_property : public Music
 {
 public:
+  VIRTUAL_COPY_CONS(Music);
 };


-- 

Han-Wen Nienhuys   |   [EMAIL PROTECTED]    | http://www.cs.uu.nl/~hanwen/