From eead1bbc4878ffd5362cb465a8cb565734c0aca3 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 23 Apr 2013 09:24:39 -0700
Subject: [PATCH] missing else

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/tactic/core/ctx_simplify_tactic.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tactic/core/ctx_simplify_tactic.cpp b/src/tactic/core/ctx_simplify_tactic.cpp
index be4dfd516..2c2afab6f 100644
--- a/src/tactic/core/ctx_simplify_tactic.cpp
+++ b/src/tactic/core/ctx_simplify_tactic.cpp
@@ -371,7 +371,7 @@ struct ctx_simplify_tactic::imp {
         if (!modified) {
             r = t;
         }
-        if (new_new_args.empty()) {
+        else if (new_new_args.empty()) {
             r = OR?m.mk_false():m.mk_true();
         }
         else if (new_new_args.size() == 1) {