2 Feb
2002
2 Feb
'02
7:34 a.m.
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@cs.unipr.it