diff --git a/src/sat/smt/intblast_solver.cpp b/src/sat/smt/intblast_solver.cpp
index 99a96b374..ffe529cea 100644
--- a/src/sat/smt/intblast_solver.cpp
+++ b/src/sat/smt/intblast_solver.cpp
@@ -71,6 +71,8 @@ namespace intblast {
         return n && n->is_attached_to(get_id());
     }
 
+
+
     bool solver::post_visit(expr* e, bool sign, bool root) {
         euf::enode* n = expr2enode(e);
         app* a = to_app(e);