random.pcg: fix 32-bit

diff --git a/extra/random/pcg/pcg.factor b/extra/random/pcg/pcg.factor
index 2447f3848b222852aa4c64db041ea1080a7789ea..e81e7068266b21dc920d4c7d3d8e122de6caa84a 100644 (file)
--- a/extra/random/pcg/pcg.factor
+++ b/extra/random/pcg/pcg.factor
@@ -63,7 +63,7 @@ PRIVATE>
 
 : <Mwc128XXA32> ( key1 key2 -- obj )
     0xcafef00d 0xd15ea5e5 Mwc128XXA32 boa
-    6 [ dup next-u64 drop ] times ;
+    6 [ dup next-u32 drop ] times ;
 
 : <Mwc256XXA64> ( key1 key2 -- obj )
     0xcafef00dd15ea5e5 0x14057B7EF767814F f Mwc256XXA64 boa