From 36d265a32cb2734156b3412da2e329737163d1f8 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 18 Jul 2021 12:06:45 +0200
Subject: [PATCH] na

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

diff --git a/src/sat/smt/q_mbi.cpp b/src/sat/smt/q_mbi.cpp
index c48daef97..802e3d393 100644
--- a/src/sat/smt/q_mbi.cpp
+++ b/src/sat/smt/q_mbi.cpp
@@ -282,7 +282,7 @@ namespace q {
         bool fmls_extracted = false;
         TRACE("q",
               tout << "Project\n";
-	          tout << fmls << "\n";
+              tout << fmls << "\n";
               tout << "model\n";
               tout << *m_model << "\n";
               tout << "model of projection\n" << mdl << "\n";