Fix memory problem.

1 files changed, 3 insertions, 1 deletions

diff --git a/dw/tools.hh b/dw/tools.hh
index 60435c5a..2f8ff0b5 100644
--- a/dw/tools.hh
+++ b/dw/tools.hh
@@ -39,9 +39,11 @@ private:
 public:
    SizeParams ();
    SizeParams (int numPos, Widget **references, int *x, int *y);
-   SizeParams (SizeParams &other);
+   SizeParams (const SizeParams &other);
    ~SizeParams ();
 
+   SizeParams &operator=(const SizeParams &other);
+   
    void fill (int numPos, Widget **references, int *x, int *y);
    void forChild (Widget *parent, Widget *child, int xRel, int yRel,
                   SizeParams *childParams);