Dear all, there is a warning about an unused parameter due to line 84 in basic.h (GiNaC 1.0.7): virtual void destroy(bool call_parent) { } Having seen the warning two million times I thought it was better to report it ;-) Actually, I reported this problem already on February 2 but it seems I was not very successful. This time I enclose a patch fixing the problem. 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@cs.unipr.it diff -ru GiNaC-1.0.7.orig/ginac/basic.h GiNaC-1.0.7/ginac/basic.h --- GiNaC-1.0.7.orig/ginac/basic.h Thu Jan 24 23:28:20 2002 +++ GiNaC-1.0.7/ginac/basic.h Fri Mar 22 16:35:07 2002 @@ -81,7 +81,7 @@ tinfo_key = other.tinfo_key; } /** For use by dtor and assignment operator. */ - virtual void destroy(bool call_parent) { } + virtual void destroy(bool /* call_parent */) { } // other ctors /** ctor with specified tinfo_key */