diff --git a/std/std.random.pdl b/std/std.random.pdl index 6d4f24e232aec8ad705392a8fdeca70eff075b6c..840e195232766dd8441b9ecb3ae89210e339739d 100644 --- a/std/std.random.pdl +++ b/std/std.random.pdl @@ -1,3 +1,3 @@ #module std.random -primitive random_u32(out generator, u32 min, u32 max) { #builtin } +primitive random_u32(out generator, u32 min, u32 max, u32 num_sends) { #builtin }