[PURRS-devel] Annoying warning

Dear all,

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

virtual void destroy(bool call_parent) { }

Having seen the warning a million times I thought it was better to report it ;-) All the best

Roberto