fix random class
authorbdemsky <bdemsky>
Tue, 2 Jun 2009 07:48:18 +0000 (07:48 +0000)
committerbdemsky <bdemsky>
Tue, 2 Jun 2009 07:48:18 +0000 (07:48 +0000)
commit12540653f859a0a667d23b1f13f679e81ced2459
tree4317e53ed46377a4546cfe3e0a5235c7ecc5aaae
parent17bd9459947610819ef7683a9cc9371b53ca21f9
fix random class
Robust/src/Benchmarks/SingleTM/common/Random.java