From 53e920b005819b831c62e76c5b6a647217c48c84 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mika=C3=ABl=20Mayer?= <a-mikmay@microsoft.com>
Date: Thu, 10 Dec 2015 14:38:52 +0100
Subject: [PATCH] Added TEGIS back.
---
src/main/scala/leon/synthesis/rules/TEGISLike.scala | 2 --
1 file changed, 2 deletions(-)
diff --git a/src/main/scala/leon/synthesis/rules/TEGISLike.scala b/src/main/scala/leon/synthesis/rules/TEGISLike.scala
index 2bc58307f..2e9da57ce 100644
--- a/src/main/scala/leon/synthesis/rules/TEGISLike.scala
+++ b/src/main/scala/leon/synthesis/rules/TEGISLike.scala
@@ -29,8 +29,6 @@ abstract class TEGISLike[T <% Typed](name: String) extends Rule(name) {
def instantiateOn(implicit hctx: SearchContext, p: Problem): Traversable[RuleInstantiation] = {
- return Nil
-
List(new RuleInstantiation(this.name) {
def apply(hctx: SearchContext): RuleApplication = {
val sctx = hctx.sctx
--
GitLab