#include "hotstuff/util.h"

namespace hotstuff {

Logger logger("hotstuff");

}