michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(library/relation_manager): bad style warnings

Browse source
This commit is contained in:
Leonardo de Moura 2015-11-15 11:35:02 -08:00
parent fd41a4f76d
commit ccdaa524f7
2 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/library/relation_manager.cpp
View file

@ -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<relation_info>(*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<relation_info> 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);
};
}

2
src/library/relation_manager.h
View file

@ -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<bool(expr const &, name &, expr &, expr &)> is_relation_pred;
typedef std::function<bool(expr const &, name &, expr &, expr &)> 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);