Module: ppl/ppl Branch: master Commit: 30c55629fd03c729ee85c34a21206f986590d7f2 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=30c55629fd03c...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Mar 26 10:39:05 2012 +0200

Removed unused parameter name.

---

tests/Random_Number_Generator.inlines.hh | 3 +-- 1 files changed, 1 insertions(+), 2 deletions(-)

diff --git a/tests/Random_Number_Generator.inlines.hh b/tests/Random_Number_Generator.inlines.hh index ce33d3a..89f8513 100644 --- a/tests/Random_Number_Generator.inlines.hh +++ b/tests/Random_Number_Generator.inlines.hh @@ -73,9 +73,8 @@ Random_Number_Generator::Random_Number_Generator(const unsigned long seed)

template <typename T> inline void -Random_Number_Generator::get(T& x, unsigned int info) { +Random_Number_Generator::get(T& x, unsigned int) { using Implementation::Random_Numbers::Random_Number_Generator_Aux; - used(info); static Random_Number_Generator_Aux<T> aux(max_bits); mpz_class n; if (std::numeric_limits<T>::is_bounded) {