actors: Switch random-number-size to be 2^128.
authorChristopher Allan Webber <cwebber@dustycloud.org>
Tue, 26 Apr 2016 20:58:55 +0000 (15:58 -0500)
committerChristopher Allan Webber <cwebber@dustycloud.org>
Tue, 26 Apr 2016 20:58:55 +0000 (15:58 -0500)
commit18e24b7dbf68db605ae8303120e6ee7b4258837a
tree02e1575e7cf97984a191c9cc5e7898fa19ea9afb
parentc55d6d2f064f298152b43564df61150e27a2a1c7
actors: Switch random-number-size to be 2^128.

* 8sync/systems/actors.scm (random-number-size): Switch to 2^128.
8sync/systems/actors.scm