Use append! rather than push!

terasakisatoshi · terasakisatoshi · commit 0650adba084e · 2024-11-11T21:11:34.000+09:00
diff --git a/src/util.jl b/src/util.jl
@@ -53,7 +53,7 @@ end
 
 function pushrandomsubset!(subset, set, n::Int)
     topush = randomsubset(setdiff(set, subset), n)
-    push!(subset, topush...)
+    append!(subset, topush)
     nothing
 end
 
