ptr.h: use unsigned int to store reference counts (in order to save memory).
authorAlexei Sheplyakov <varg@theor.jinr.ru>
Wed, 15 Oct 2008 06:16:07 +0000 (10:16 +0400)
committerAlexei Sheplyakov <varg@theor.jinr.ru>
Sun, 19 Oct 2008 17:29:11 +0000 (21:29 +0400)
commitce9053c15affb2a1a99d1157b85266d70aec601b
tree22bf34fd2e1c67d69d5f13916c67897e6eff1572
parentc7d9b624cb4bd5658a36fbcac2f73dbdb99edd5f
ptr.h: use unsigned int to store reference counts (in order to save memory).

We'll hardly ever get more than 2^32 references to the same object. So using
size_t to store reference count only wastes 4 bytes per object (on 64-bit
architecture). Use unsigned int instead.
ginac/ptr.h