Fix time output in b_main
This commit is contained in:
@@ -277,7 +277,7 @@ namespace platform {
|
|||||||
}
|
}
|
||||||
if (!quiet) {
|
if (!quiet) {
|
||||||
seed_timer.stop();
|
seed_timer.stop();
|
||||||
std::cout << "end. [" << seed_timer.getDurationString() << "]" << std::endl;
|
std::cout << "end. [" << seed_timer.getDurationString() << "]";
|
||||||
}
|
}
|
||||||
delete fold;
|
delete fold;
|
||||||
}
|
}
|
||||||
|
Reference in New Issue
Block a user