Print all timers in binary machines.

This commit is contained in:
Marcel Keller
2022-09-07 10:57:16 +10:00
parent 817a9b4515
commit 091484bc94
2 changed files with 5 additions and 5 deletions

View File

@@ -31,8 +31,6 @@ protected:
string domain;
string relevant_opts;
void print_timers();
virtual void load_program(const string& threadname, const string& filename);
public:
@@ -65,6 +63,8 @@ public:
void start(int n);
void stop(int n);
void print_timers();
virtual void reqbl(int) {}
static OTTripleSetup fresh_ot_setup(Player& P);