diff --git a/src/library/blast/state.cpp b/src/library/blast/state.cpp
index 837e8310d2..60f10a32f0 100644
--- a/src/library/blast/state.cpp
+++ b/src/library/blast/state.cpp
@@ -844,7 +844,7 @@ optional<unsigned> state::select_hypothesis_to_activate() {
 void state::activate_hypothesis(hypothesis_idx hidx) {
     lean_trace(name({"blast", "search"}),
                hypothesis const & h = get_hypothesis_decl(hidx);
-               tout() << "activate: " << h.get_name() << " : " << ppb(h.get_type()) << "\n";);
+               tout() << "activate " << h.get_name() << " : " << ppb(h.get_type()) << "\n";);
     m_branch.m_active.insert(hidx);
     update_indices(hidx);
 }