diff --git a/src/main/scala/leon/solvers/combinators/PortfolioSolver.scala b/src/main/scala/leon/solvers/combinators/PortfolioSolver.scala
index d70294e044566cbe41bc399a89f6af8cf30ac911..3c99385712e6a163aa0454defeaa5dc10a554b3f 100644
--- a/src/main/scala/leon/solvers/combinators/PortfolioSolver.scala
+++ b/src/main/scala/leon/solvers/combinators/PortfolioSolver.scala
@@ -6,6 +6,7 @@ package combinators
 
 import purescala.Common._
 import purescala.Expressions._
+import verification.VC
 
 import utils.Interruptible
 import scala.concurrent._
@@ -27,6 +28,10 @@ class PortfolioSolver[S <: Solver with Interruptible](val context: LeonContext,
     solversInsts.foreach(_.assertCnstr(expression))
   }
 
+  override def assertVC(vc: VC): Unit = {
+    solversInsts.foreach(_.assertVC(vc))
+  }
+
   def check: Option[Boolean] = {
     modelMap = Map()