Improve method of setting status_flags::dynallocated.

[ginac.git] / ginac / symbol.h

diff --git a/ginac/symbol.h b/ginac/symbol.h
index 68b747e8abb899576607cf5179d44e15cbf52ff7..84320f277ef796c400d95e94c7035b87dd0a3b5e 100644 (file)
--- a/ginac/symbol.h
+++ b/ginac/symbol.h
@@ -107,7 +107,12 @@ public:
        ex real_part() const override { return *this; }
        ex imag_part() const override { return 0; }
 
-       realsymbol* duplicate() const override { return new realsymbol(*this); }
+       realsymbol* duplicate() const override
+       {
+               realsymbol * bp = new realsymbol(*this);
+               bp->setflag(status_flags::dynallocated);
+               return bp;
+       }
 };
 GINAC_DECLARE_UNARCHIVER(realsymbol);
 
@@ -122,7 +127,12 @@ public:
 
        unsigned get_domain() const override { return domain::positive; }
 
-       possymbol* duplicate() const override { return new possymbol(*this); }
+       possymbol* duplicate() const override
+       {
+               possymbol * bp = new possymbol(*this);
+               bp->setflag(status_flags::dynallocated);
+               return bp;
+       }
 };
 GINAC_DECLARE_UNARCHIVER(possymbol);