#include <config.h>

#include "tracer.h"

int DebugTracer::depth = 0;