chore(library/blast): fix style

src/library/blast/blast.h

@@ -130,7 +130,7 @@ public:
     void commit();
 };
 
-typedef std::function<bool(expr const &)> unfold_macro_pred;
+typedef std::function<bool(expr const &)> unfold_macro_pred; // NOLINT
 /** \brief Auxiliary object used to temporarily set predicate used to decide
     whether macros will be unfolded or not. */
 class scope_unfold_macro_pred {

src/library/blast/forward/forward_lemma_set.cpp

@@ -4,6 +4,7 @@ Released under Apache 2.0 license as described in the file LICENSE.
 
 Author: Leonardo de Moura
 */
+#include <string>
 #include "library/scoped_ext.h"
 #include "library/blast/forward/forward_lemma_set.h"