From ccdaa524f78b97a491354f080b9cf781b32159a3 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sun, 15 Nov 2015 11:35:02 -0800 Subject: [PATCH] fix(library/relation_manager): bad style warnings --- src/library/relation_manager.cpp | 4 ++-- src/library/relation_manager.h | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/library/relation_manager.cpp b/src/library/relation_manager.cpp index ddd887fbd9..2851ae5e40 100644 --- a/src/library/relation_manager.cpp +++ b/src/library/relation_manager.cpp @@ -287,7 +287,7 @@ relation_info const * get_relation_info(environment const & env, name const & ro relation_info_getter mk_relation_info_getter(environment const & env) { auto table = rel_ext::get_state(env).m_rop_table; - return [=](name const & rop) { + return [=](name const & rop) { // NOLINT if (auto r = table.find(rop)) return optional(*r); else @@ -320,7 +320,7 @@ bool is_relation(environment const & env, expr const & e, name & rop, expr & lhs is_relation_pred mk_is_relation_pred(environment const & env) { name_map table = rel_ext::get_state(env).m_rop_table; - return [=](expr const & e, name & rop, expr & lhs, expr & rhs) { + return [=](expr const & e, name & rop, expr & lhs, expr & rhs) { // NOLINT return is_relation(table, e, rop, lhs, rhs); }; } diff --git a/src/library/relation_manager.h b/src/library/relation_manager.h index b685fb5db1..bd2d9be74f 100644 --- a/src/library/relation_manager.h +++ b/src/library/relation_manager.h @@ -39,7 +39,7 @@ relation_info_getter mk_relation_info_getter(environment const & env); /** \brief Return true iff \c e is of the form (lhs rop rhs) where rop is a registered relation. */ bool is_relation(environment const & env, expr const & e, name & rop, expr & lhs, expr & rhs); -typedef std::function is_relation_pred; +typedef std::function is_relation_pred; // NOLINT /** \brief Construct an \c is_relation predicate for the given environment. */ is_relation_pred mk_is_relation_pred(environment const & env);