From 78533cde0a15cb2371f2373d613b79ee7879dfde Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Tue, 8 Dec 2015 15:57:25 -0800
Subject: [PATCH] chore(library/blast/blast): reorg blast tracing

---
 src/library/blast/blast.cpp | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

diff --git a/src/library/blast/blast.cpp b/src/library/blast/blast.cpp
index 42a862b163..e5b6a1a27d 100644
--- a/src/library/blast/blast.cpp
+++ b/src/library/blast/blast.cpp
@@ -1149,13 +1149,17 @@ optional<expr> blast_goal(environment const & env, io_state const & ios, list<na
 }
 void initialize_blast() {
     register_trace_class("blast");
-    register_trace_class(name{"blast", "all"});
+    register_trace_class(name{"blast_detailed"});
     register_trace_class(name({"blast", "event"}));
+
     register_trace_class_alias("app_builder", name({"blast", "event"}));
     register_trace_class_alias(name({"simplifier", "failure"}), name({"blast", "event"}));
-    register_trace_class_alias("app_builder", name({"blast", "all"}));
-    register_trace_class_alias(name({"simplifier", "failure"}), name({"blast", "all"}));
-    register_trace_class_alias(name({"congruence_closure", "merge"}), name({"blast", "all"}));
+
+    register_trace_class_alias("blast", "blast_detailed");
+    register_trace_class_alias("app_builder", "blast_detailed");
+    register_trace_class_alias(name({"simplifier", "failure"}), "blast_detailed");
+    register_trace_class_alias(name({"congruence_closure", "merge"}), "blast_detailed");
+
     blast::g_prefix                  = new name(name::mk_internal_unique_name());
     blast::g_tmp_prefix              = new name(name::mk_internal_unique_name());
     blast::g_ref_prefix              = new name(name::mk_internal_unique_name());