#include "util.h"

namespace hotstuff {

Logger logger("hotstuff");

}