X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=ginac%2Fsymbol.h;h=84320f277ef796c400d95e94c7035b87dd0a3b5e;hp=68b747e8abb899576607cf5179d44e15cbf52ff7;hb=65f2693a0948d1db0bc68d7656c64e1fed91c158;hpb=00d612ce3789ba9240ade1b8bf06b26c326bd8f2

diff --git a/ginac/symbol.h b/ginac/symbol.h
index 68b747e8..84320f27 100644
--- 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);