diff options
| author | Determinant <[email protected]> | 2018-08-15 13:52:48 -0400 |
|---|---|---|
| committer | Determinant <[email protected]> | 2018-08-15 13:52:48 -0400 |
| commit | a95e4362fa197b44138616c8e1c8a05d192b0a82 (patch) | |
| tree | 6b821a53dbc9c51fc2dff62b11607c3d4c0d42a7 /src | |
| parent | e41eef9d19fe3a3ab9b158c985b180a3f76f93f7 (diff) | |
...
Diffstat (limited to 'src')
| -rw-r--r-- | src/hotstuff_app.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/hotstuff_app.cpp b/src/hotstuff_app.cpp index 3b65649..622cd0b 100644 --- a/src/hotstuff_app.cpp +++ b/src/hotstuff_app.cpp @@ -75,7 +75,9 @@ class HotStuffApp: public HotStuff { } void state_machine_execute(const Finality &fin) override { +#ifndef HOTSTUFF_ENABLE_BENCHMARK LOG_INFO("replicated %s", std::string(fin).c_str()); +#endif } public: |