From b54cd38b51d2a361d11ff6323d6f82e0deedae76 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sat, 7 May 2016 17:32:10 -0700 Subject: [PATCH] chore(compiler/elim_recursors): cleanup --- src/compiler/elim_recursors.cpp | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/compiler/elim_recursors.cpp b/src/compiler/elim_recursors.cpp index 6049d4aec5..bde2bf5b5f 100644 --- a/src/compiler/elim_recursors.cpp +++ b/src/compiler/elim_recursors.cpp @@ -230,9 +230,9 @@ protected: return r; } - bool is_nonrecursive_recursor(name const & n) { + bool is_recursive_recursor(name const & n) { if (auto I_name = inductive::is_elim_rule(env(), n)) { - return !is_recursive_datatype(env(), *I_name); + return is_recursive_datatype(env(), *I_name); } return false; } @@ -241,7 +241,7 @@ protected: expr const & fn = get_app_fn(e); if (is_constant(fn)) { name const & n = const_name(fn); - if (inductive::is_elim_rule(env(), n) && !is_nonrecursive_recursor(n)) { + if (inductive::is_elim_rule(env(), n) && is_recursive_recursor(n)) { return visit_recursor_app(e); } }