22 Mar
2002
22 Mar
'02
6:27 p.m.
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 */