diff --git a/src/library/blast/blast.h b/src/library/blast/blast.h
index 815322f2d..015a8f623 100644
--- a/src/library/blast/blast.h
+++ b/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 {
diff --git a/src/library/blast/forward/forward_lemma_set.cpp b/src/library/blast/forward/forward_lemma_set.cpp
index 904ff43ad..32dcd7920 100644
--- a/src/library/blast/forward/forward_lemma_set.cpp
+++ b/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"