From ae0bdaa836c9f6ef57d0f0dfdff529499e3989b5 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Wed, 27 May 2015 16:46:58 -0700
Subject: [PATCH] chore(library,util): fix style

---
 src/library/reducible.cpp | 6 +++---
 src/library/util.cpp      | 1 -
 src/util/name.h           | 2 +-
 3 files changed, 4 insertions(+), 5 deletions(-)

diff --git a/src/library/reducible.cpp b/src/library/reducible.cpp
index 522e12db26..586757fba8 100644
--- a/src/library/reducible.cpp
+++ b/src/library/reducible.cpp
@@ -110,14 +110,14 @@ bool is_at_least_quasireducible(environment const & env, name const & n) {
 
 name_predicate mk_not_reducible_pred(environment const & env) {
     reducible_state m_state = reducible_ext::get_state(env);
-    return [=](name const & n) {
+    return [=](name const & n) { // NOLINT
         return m_state.get_status(n) != reducible_status::Reducible;
     };
 }
 
 name_predicate mk_not_quasireducible_pred(environment const & env) {
     reducible_state m_state = reducible_ext::get_state(env);
-    return [=](name const & n) {
+    return [=](name const & n) { // NOLINT
         auto r = m_state.get_status(n);
         return r != reducible_status::Reducible && r != reducible_status::Quasireducible;
     };
@@ -125,7 +125,7 @@ name_predicate mk_not_quasireducible_pred(environment const & env) {
 
 name_predicate mk_irreducible_pred(environment const & env) {
     reducible_state m_state = reducible_ext::get_state(env);
-    return [=](name const & n) {
+    return [=](name const & n) { // NOLINT
         return m_state.get_status(n) == reducible_status::Irreducible;
     };
 }
diff --git a/src/library/util.cpp b/src/library/util.cpp
index 98cd020a27..4a15b60976 100644
--- a/src/library/util.cpp
+++ b/src/library/util.cpp
@@ -769,6 +769,5 @@ public:
 type_checker_ptr mk_type_checker(environment const & env, name_generator && ngen, name_predicate const & pred) {
     return std::unique_ptr<type_checker>(new type_checker(env, std::move(ngen),
                                          std::unique_ptr<converter>(new extra_opaque_converter(env, pred))));
-
 }
 }
diff --git a/src/util/name.h b/src/util/name.h
index 2a652f83b0..731223252e 100644
--- a/src/util/name.h
+++ b/src/util/name.h
@@ -186,7 +186,7 @@ struct name_pair_quick_cmp {
     }
 };
 
-typedef std::function<bool(name const &)> name_predicate;
+typedef std::function<bool(name const &)> name_predicate; // NOLINT
 
 serializer & operator<<(serializer & s, name const & n);
 name read_name(deserializer & d);