From 22cd2820e9cd20cb3bcbbcff29eb27a1e9540fbd Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Wed, 20 Apr 2016 16:08:03 +0200
Subject: [PATCH] Some gc in synthesis
---
src/main/scala/leon/grammars/Grammars.scala | 2 --
src/main/scala/leon/grammars/aspects/TypeDepthBound.scala | 2 +-
2 files changed, 1 insertion(+), 3 deletions(-)
diff --git a/src/main/scala/leon/grammars/Grammars.scala b/src/main/scala/leon/grammars/Grammars.scala
index cc9e1279c..eaa4cf493 100644
--- a/src/main/scala/leon/grammars/Grammars.scala
+++ b/src/main/scala/leon/grammars/Grammars.scala
@@ -30,7 +30,5 @@ object Grammars {
default(sctx.program, p.allAs.map(_.toVariable) ++ hints ++ extraHints, sctx.functionContext, sctx.settings.functionsToIgnore)
}
- def similarTo(e: Expr, base: ExpressionGrammar) = {
- }
}
diff --git a/src/main/scala/leon/grammars/aspects/TypeDepthBound.scala b/src/main/scala/leon/grammars/aspects/TypeDepthBound.scala
index 177c6bfd9..c46e51f4b 100644
--- a/src/main/scala/leon/grammars/aspects/TypeDepthBound.scala
+++ b/src/main/scala/leon/grammars/aspects/TypeDepthBound.scala
@@ -7,7 +7,7 @@ package aspects
import purescala.TypeOps.depth
case class TypeDepthBound(bound: Int) extends PersistentAspect {
- override def asString(implicit ctx: LeonContext): String = s"TD$bound"
+ override def asString(implicit ctx: LeonContext): String = "" // This is just debug pollution to print
override def applyTo(lab: Label, ps: Seq[Production])(implicit ctx: LeonContext) = {
if (depth(lab.getType) > bound) Nil
--
GitLab