diff --git a/src/smt/theory_finite_set_size.cpp b/src/smt/theory_finite_set_size.cpp
index 0eb27edf2..a7a4363bc 100644
--- a/src/smt/theory_finite_set_size.cpp
+++ b/src/smt/theory_finite_set_size.cpp
@@ -470,6 +470,7 @@ namespace smt {
         }
     }
 
+
     std::ostream& theory_finite_set_size::display(std::ostream& out) const {
         if (m_solver)
             m_solver->display(out << "set.size-solver\n");