Hi!
On Sat, Feb 02, 2002 at 07:34:12AM +0100, Roberto Bagnara wrote:
> 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) { }
But the parameter _is_ unused... :-/
Bye,
Christian
--
/ Coding on PowerPC and proud of it
\/ http://www.uni-mainz.de/~bauec002/