Annoying warning

[Roberto Bagnara]

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

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it