diff --git a/src/tactic/portfolio/pb2bv_solver.cpp b/src/tactic/portfolio/pb2bv_solver.cpp
index 29f3314cb..d0e5598c7 100644
--- a/src/tactic/portfolio/pb2bv_solver.cpp
+++ b/src/tactic/portfolio/pb2bv_solver.cpp
@@ -49,6 +49,7 @@ public:
     virtual ~pb2bv_solver() {}
 
     virtual solver* translate(ast_manager& m, params_ref const& p) {
+
         return alloc(pb2bv_solver, m, p, m_solver->translate(m, p));
     }