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