Closed shriram closed 1 year ago
The documentation for num-random says that it returns a "positive integer from 0 to max - 1".
num-random
0
max - 1
0 is not positive.
Reported by Maximus Liu at Brown.
Thanks, fixed.
The documentation for
num-random
says that it returns a "positive integer from0
tomax - 1
".0 is not positive.
Reported by Maximus Liu at Brown.