From 78a9116a231ebefafa237545e5c4df5083b3087d Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sat, 7 Nov 2015 15:56:40 -0800 Subject: [PATCH] chore(library/congr_lemma_manager): fix style --- src/library/congr_lemma_manager.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/library/congr_lemma_manager.cpp b/src/library/congr_lemma_manager.cpp index 15e12e4db6..bedb9ad99f 100644 --- a/src/library/congr_lemma_manager.cpp +++ b/src/library/congr_lemma_manager.cpp @@ -255,7 +255,7 @@ public: if (new_r) { m_cache.insert(mk_pair(key(fn, nargs), *new_r)); return new_r; - } if (has_cast(kinds)) { + } else if (has_cast(kinds)) { // remove casts and try again for (unsigned i = 0; i < kinds.size(); i++) { if (kinds[i] == congr_arg_kind::Cast)