From d229efabfc78a365640357a67a793babb55fa0f5 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 9 Mar 2020 17:12:34 +0100
Subject: [PATCH] na

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/tactic/ctx_solver_simplify_tactic.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/smt/tactic/ctx_solver_simplify_tactic.cpp b/src/smt/tactic/ctx_solver_simplify_tactic.cpp
index 6bea4f449..bb6a66e58 100644
--- a/src/smt/tactic/ctx_solver_simplify_tactic.cpp
+++ b/src/smt/tactic/ctx_solver_simplify_tactic.cpp
@@ -95,8 +95,8 @@ protected:
         m_solver.push();
         reduce(fml);
         m_solver.pop(1);
-		if (m.canceled())
-			return;
+        if (m.canceled())
+            return;
         SASSERT(m_solver.get_scope_level() == 0);
         TRACE("ctx_solver_simplify_tactic",
               for (unsigned i = 0; i < fmls.size(); ++i) {