Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
could be further streamlined This changes the behavior of RngC: it can now return 0 instead of 1. However, it seems like this is actually the correct behavior.
- Loading branch information