From 58d41e486ca11b7cdf4020f27172c8d68b0530ff Mon Sep 17 00:00:00 2001
From: Daniel Selsam <daniel.selsam@gmail.com>
Date: Wed, 13 Jan 2016 11:28:28 -0800
Subject: [PATCH] feat(library/trace): register debug trace class

---
 src/library/blast/blast.cpp | 1 +
 src/library/trace.cpp       | 2 ++
 2 files changed, 3 insertions(+)

diff --git a/src/library/blast/blast.cpp b/src/library/blast/blast.cpp
index 7414ae542..4e36fe511 100644
--- a/src/library/blast/blast.cpp
+++ b/src/library/blast/blast.cpp
@@ -1380,6 +1380,7 @@ void initialize_blast() {
     register_trace_class(name{"blast", "action"});
     register_trace_class(name{"blast", "search"});
     register_trace_class(name{"blast", "deadend"});
+    register_trace_class(name{"debug", "blast"});
 
     register_trace_class_alias("app_builder", name({"blast", "event"}));
     register_trace_class_alias(name({"simplifier", "failure"}), name({"blast", "event"}));
diff --git a/src/library/trace.cpp b/src/library/trace.cpp
index 7f5d2e441..1b0029d52 100644
--- a/src/library/trace.cpp
+++ b/src/library/trace.cpp
@@ -186,6 +186,8 @@ io_state_stream const & operator<<(io_state_stream const & ios, tclass const & c
 void initialize_trace() {
     g_trace_classes = new name_set();
     g_trace_aliases = new name_map<name_set>();
+
+    register_trace_class(name{"debug"});
 }
 
 void finalize_trace() {