From 92782e826e29fa2ce931c248abc31b0bdd193eb7 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Wed, 15 Apr 2015 02:52:26 +0200
Subject: [PATCH] Deadcode
---
src/main/scala/leon/synthesis/rules/CEGISLike.scala | 5 -----
1 file changed, 5 deletions(-)
diff --git a/src/main/scala/leon/synthesis/rules/CEGISLike.scala b/src/main/scala/leon/synthesis/rules/CEGISLike.scala
index 974509205..a0818afe4 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))
--
GitLab