From d2054bb65c1c8d0bd158f8bdf158a17bf7eec662 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Wed, 2 Dec 2015 22:47:19 -0800
Subject: [PATCH] chore(library/blast): fix style

---
 src/library/blast/blast.h                       | 2 +-
 src/library/blast/forward/forward_lemma_set.cpp | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

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"