diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-03-11 18:47:28 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-03-11 18:47:42 -0400 |
| commit | 0779cbb12ba1b6dc8b6b9eb9989ed5a75cb7bf14 (patch) | |
| tree | ff1c61bb1e3ef6483775f7068ee0b3cf81041ae9 /src/main | |
| parent | 01e3d838982658349f429063834379b7cda43dbc (diff) | |
Fix for portfolio.
Diffstat (limited to 'src/main')
| -rw-r--r-- | src/main/portfolio_util.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/main/portfolio_util.cpp b/src/main/portfolio_util.cpp index a2d0ff700..e4fcf6024 100644 --- a/src/main/portfolio_util.cpp +++ b/src/main/portfolio_util.cpp @@ -34,7 +34,7 @@ vector<Options> parseThreadSpecificOptions(Options opts) * Use satRandomSeed for generating random numbers, in particular * satRandomSeed-s */ - srand((unsigned int)(-opts[options::satRandomSeed])); + srand(-opts[options::satRandomSeed]); for(unsigned i = 0; i < numThreads; ++i) { threadOptions.push_back(opts); @@ -45,7 +45,7 @@ vector<Options> parseThreadSpecificOptions(Options opts) // If the random-seed is negative, pick a random seed randomly if(opts[options::satRandomSeed] < 0) { - tOpts.set(options::satRandomSeed, (double)rand()); + tOpts.set(options::satRandomSeed, unsigned(rand())); } if(i < opts[options::threadArgv].size() && |