diff options
Diffstat (limited to 'src/Tangential_complex/benchmark/benchmark_tc.cpp')
| -rw-r--r-- | src/Tangential_complex/benchmark/benchmark_tc.cpp | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/Tangential_complex/benchmark/benchmark_tc.cpp b/src/Tangential_complex/benchmark/benchmark_tc.cpp index 6d6dd548..e3b2a04f 100644 --- a/src/Tangential_complex/benchmark/benchmark_tc.cpp +++ b/src/Tangential_complex/benchmark/benchmark_tc.cpp @@ -564,10 +564,6 @@ int main() { #endif #endif - unsigned int seed = static_cast<unsigned int> (time(NULL)); - CGAL::default_random = CGAL::Random(seed); // TODO(CJ): use set_default_random - std::cerr << "Random seed = " << seed << "\n"; - std::ifstream script_file; script_file.open(BENCHMARK_SCRIPT_FILENAME); // Script? |