This is an automated email from the ASF dual-hosted git repository.
github-bot pushed a commit to branch gh-pages
in repository https://gitbox.apache.org/repos/asf/datasketches-cpp.git
The following commit(s) were added to refs/heads/gh-pages by this push:
new e33787d deploy: e116172f71ea01d326de1c3ae0c4b6180de549d6
e33787d is described below
commit e33787d232e5d26d0efe956f769448fa1b467f01
Author: jmalkin <[email protected]>
AuthorDate: Tue Nov 28 23:54:35 2023 +0000
deploy: e116172f71ea01d326de1c3ae0c4b6180de549d6
---
docs/master/density__sketch__impl_8hpp_source.html | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/docs/master/density__sketch__impl_8hpp_source.html
b/docs/master/density__sketch__impl_8hpp_source.html
index 5662e57..8950b2a 100644
--- a/docs/master/density__sketch__impl_8hpp_source.html
+++ b/docs/master/density__sketch__impl_8hpp_source.html
@@ -215,7 +215,7 @@ $(function() {
<div class="line"><a name="l00144"></a><span class="lineno"> 144</span> 
<span class="keyword">auto</span>& level = levels_[height];</div>
<div class="line"><a name="l00145"></a><span class="lineno"> 145</span> 
std::vector<bool> bits(level.size());</div>
<div class="line"><a name="l00146"></a><span class="lineno"> 146</span> 
bits[0] = random_utils::random_bit();</div>
-<div class="line"><a name="l00147"></a><span class="lineno"> 147</span> 
std::random_shuffle(level.begin(), level.end());</div>
+<div class="line"><a name="l00147"></a><span class="lineno"> 147</span> 
std::shuffle(level.begin(), level.end(), random_utils::rand);</div>
<div class="line"><a name="l00148"></a><span class="lineno"> 148</span> 
<span class="keywordflow">for</span> (<span
class="keywordtype">unsigned</span> i = 1; i < level.size(); ++i) {</div>
<div class="line"><a name="l00149"></a><span class="lineno"> 149</span> 
T delta = 0;</div>
<div class="line"><a name="l00150"></a><span class="lineno"> 150</span> 
<span class="keywordflow">for</span> (<span
class="keywordtype">unsigned</span> j = 0; j < i; ++j) {</div>
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
