[Bug libstdc++/55169] std::discrete_distribution::operator(generator&) makes unnecessary copy of parameter vector

[paolo.carlini at oracle dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55169



--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-11-01 
19:59:48 UTC ---

Of course, of course. But in 4_7-branch we are going to change only the three

distributions using std::vectors