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 -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it _______________________________________________ PURRS-devel mailing list PURRS-devel@cs.unipr.it http://www.cs.unipr.it/mailman/listinfo/purrs-devel