[PURRS-devel] Annoying warning again

Dear all,

there is a warning about an unused parameter due to line 84 in basic.h (GiNaC 1.0.10):

virtual void destroy(bool call_parent) { }

Seeing this warning over and over again makes developing with GiNaC a real pain. Therefore I suggest replacing the above line with the following:

virtual void destroy(bool /* call_parent */) { }

Thanks a lot. All the best

Roberto