From 6caef86738bb1a573f1ea3e543ded360b5ee29f0 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 22 Jun 2017 21:05:54 -0700
Subject: [PATCH] translate

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

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