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);