rm undocument/non-working* "feature"

*test of unsigned for negative

diff --git a/src/main/portfolio_util.cpp b/src/main/portfolio_util.cpp
index e4fcf60248f552f8f0491b8302e351c1b80cc727..cfaa76aa8f27d6e3db0c0a1fc373980706ba8c20 100644 (file)
--- a/src/main/portfolio_util.cpp
+++ b/src/main/portfolio_util.cpp
@@ -30,12 +30,6 @@ vector<Options> parseThreadSpecificOptions(Options opts)
 
   unsigned numThreads = opts[options::threads];
 
-  /**
-   * Use satRandomSeed for generating random numbers, in particular
-   * satRandomSeed-s
-   */
-  srand(-opts[options::satRandomSeed]);
-
   for(unsigned i = 0; i < numThreads; ++i) {
     threadOptions.push_back(opts);
     Options& tOpts = threadOptions.back();
@@ -43,11 +37,6 @@ vector<Options> parseThreadSpecificOptions(Options opts)
     // Set thread identifier
     tOpts.set(options::thread_id, i);
 
-    // If the random-seed is negative, pick a random seed randomly
-    if(opts[options::satRandomSeed] < 0) {
-      tOpts.set(options::satRandomSeed, unsigned(rand()));
-    }
-
     if(i < opts[options::threadArgv].size() && 
        !opts[options::threadArgv][i].empty()) {