From 63d92d9df8fb99af4d0f13a727ebe9a8ed62abf3 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 14 Dec 2023 19:30:21 -0800
Subject: [PATCH] fix encoding bugs

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

diff --git a/src/sat/smt/intblast_solver.cpp b/src/sat/smt/intblast_solver.cpp
index ffe529cea..cb8d8cec2 100644
--- a/src/sat/smt/intblast_solver.cpp
+++ b/src/sat/smt/intblast_solver.cpp
@@ -445,6 +445,7 @@ namespace intblast {
                 sorts.push_back(a.mk_int());
             }
             else
+
                 sorts.push_back(s);
         }
         b = translated(b);