diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-03-11 19:08:38 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-03-11 19:08:38 -0400 |
commit | 84c428181fa336c727def95cef3f0a9e9d1f1278 (patch) | |
tree | 83303d1409b23133332433528fee64c5e1c4f7ca /src/main | |
parent | aef9f4e13ddcf2fa48226d98a2a14f9141a761f7 (diff) | |
parent | 3801e9c98d9c44e1583c744a6d72ec8e31a6c3f4 (diff) |
Merge branch '1.3.x'
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() && |