Fix ui_random() using the main random generator.
authorAdam Borowski <kilobyte@angband.pl>
Sun, 1 Dec 2013 01:13:15 +0000 (02:13 +0100)
committerAdam Borowski <kilobyte@angband.pl>
Sun, 1 Dec 2013 01:20:36 +0000 (02:20 +0100)
commita2412da067bef818e685f66b220afc325069f6c0
tree7fe08681f52156bfe2f536bf3b1f1c16c3c7dd09
parent9eb20e42e6b6d52b230228ecb28eb20811250be9
Fix ui_random() using the main random generator.
crawl-ref/source/random.cc