diff --git a/src/main/scala/leon/synthesis/rules/CEGISLike.scala b/src/main/scala/leon/synthesis/rules/CEGISLike.scala
index 974509205c6de051dfe1aff53a142d70bd1c28e3..a0818afe4404ba9345462ba1d6ef944323623d3d 100644
--- a/src/main/scala/leon/synthesis/rules/CEGISLike.scala
+++ b/src/main/scala/leon/synthesis/rules/CEGISLike.scala
@@ -699,11 +699,6 @@ abstract class CEGISLike[T <% Typed](name: String) extends Rule(name) {
         //println("  - "+isActive)
         solver.assertCnstr(isActive)
 
-
-        for (b <- bs.filterNot(isBActive)) {
-
-        }
-
         //println(" -- Excluded:")
         for (ex <- excludedPrograms) {
           val notThisProgram = Not(andJoin(ex.map(_.toVariable).toSeq))