diff options
| author | Roberto Bagnara <bagnara@cs.unipr.it> | 2012-03-26 10:39:05 +0200 |
|---|---|---|
| committer | Roberto Bagnara <bagnara@cs.unipr.it> | 2012-03-26 10:39:05 +0200 |
| commit | 30c55629fd03c729ee85c34a21206f986590d7f2 (patch) | |
| tree | 37f545845c9b99fc15cde7f0c2676313e691f658 /tests | |
| parent | 59bbf2ad8eeaaa4506c572785f178fd7fdbd9826 (diff) | |
| download | ppl-30c55629fd03c729ee85c34a21206f986590d7f2.tar.gz ppl-30c55629fd03c729ee85c34a21206f986590d7f2.tar.bz2 ppl-30c55629fd03c729ee85c34a21206f986590d7f2.zip | |
Removed unused parameter name.
Diffstat (limited to 'tests')
| -rw-r--r-- | 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 ce33d3aec..89f8513da 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) { |