#include "Util.hpp"

namespace GateMate {
VerbosityLevel verbosity = VerbosityLevel::DEBUG;
}