From 61b3c7c6553535daab88d55e8d5c9a5115ccdfb1 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Sat, 5 Dec 2015 21:48:50 -0800
Subject: [PATCH] chore(library/blast): disable spurious style warnings

---
 src/library/blast/backward/backward_strategy.cpp     | 4 ++--
 src/library/blast/strategies/iterative_deepening.cpp | 2 +-
 src/library/blast/strategies/preprocess_strategy.cpp | 4 ++--
 src/library/blast/strategies/simple_strategy.cpp     | 2 +-
 4 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/src/library/blast/backward/backward_strategy.cpp b/src/library/blast/backward/backward_strategy.cpp
index c5c8ff254..36e2f87d4 100644
--- a/src/library/blast/backward/backward_strategy.cpp
+++ b/src/library/blast/backward/backward_strategy.cpp
@@ -75,9 +75,9 @@ class backward_strategy_fn : public strategy_fn {
 
 strategy mk_backward_strategy() {
     if (!get_config().m_backward)
-        return []() { return none_expr(); };
+        return []() { return none_expr(); }; // NOLINT
     else
-        return []() {
+        return []() { // NOLINT
             flet<bool> disable_show_failure(get_config().m_show_failure, false);
             return backward_strategy_fn()();
         };
diff --git a/src/library/blast/strategies/iterative_deepening.cpp b/src/library/blast/strategies/iterative_deepening.cpp
index e750dfeef..4a3473b95 100644
--- a/src/library/blast/strategies/iterative_deepening.cpp
+++ b/src/library/blast/strategies/iterative_deepening.cpp
@@ -11,7 +11,7 @@ Author: Leonardo de Moura
 namespace lean {
 namespace blast {
 strategy iterative_deepening(strategy const & S, unsigned init, unsigned inc, unsigned max) {
-    return [=]() {
+    return [=]() { // NOLINT
         state s      = curr_state();
         unsigned ncs = get_num_choice_points();
         unsigned d   = init;
diff --git a/src/library/blast/strategies/preprocess_strategy.cpp b/src/library/blast/strategies/preprocess_strategy.cpp
index 11dddaca2..b5f776308 100644
--- a/src/library/blast/strategies/preprocess_strategy.cpp
+++ b/src/library/blast/strategies/preprocess_strategy.cpp
@@ -67,10 +67,10 @@ public:
 };
 
 strategy preprocess_and_then(strategy const & S) {
-    return [=]() { scope_trace s(false); return preprocess_strategy_fn(S, false)(); };
+    return [=]() { scope_trace s(false); return preprocess_strategy_fn(S, false)(); }; // NOLINT
 }
 
 strategy basic_preprocess_and_then(strategy const & S) {
-    return [=]() { scope_trace s(false); return preprocess_strategy_fn(S, true)(); };
+    return [=]() { scope_trace s(false); return preprocess_strategy_fn(S, true)(); }; // NOLINT
 }
 }}
diff --git a/src/library/blast/strategies/simple_strategy.cpp b/src/library/blast/strategies/simple_strategy.cpp
index 125c8bd37..ffdd9c8d8 100644
--- a/src/library/blast/strategies/simple_strategy.cpp
+++ b/src/library/blast/strategies/simple_strategy.cpp
@@ -62,6 +62,6 @@ class simple_strategy_fn : public strategy_fn {
 };
 
 strategy mk_simple_strategy() {
-    return []() { return simple_strategy_fn()(); };
+    return []() { return simple_strategy_fn()(); }; // NOLINT
 }
 }}