Annoying warning (II attempt)

[Roberto Bagnara]

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 at 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 */