From 0df07d787c006f3d763cf8e935cc335c796c542c Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Thu, 25 Jun 2015 20:12:19 +0200
Subject: [PATCH] Eliminate dead mutable code
---
src/main/scala/leon/purescala/Common.scala | 11 -----------
1 file changed, 11 deletions(-)
diff --git a/src/main/scala/leon/purescala/Common.scala b/src/main/scala/leon/purescala/Common.scala
index 2f152045a..16f006cd4 100644
--- a/src/main/scala/leon/purescala/Common.scala
+++ b/src/main/scala/leon/purescala/Common.scala
@@ -58,17 +58,6 @@ object Common {
def toVariable : Variable = Variable(this)
def freshen: Identifier = FreshIdentifier(name, tpe, alwaysShowUniqueID).copiedFrom(this)
-
- var owner : Option[Definition] = None
-
- def setOwner(df : Definition) : Identifier = { this.owner = Some(df); this }
-
- def ownerChain : List[Identifier] = owner match {
- case None => List(this)
- case Some(ow) => ow.id :: ow.id.ownerChain
- }
-
- def fullName: String = (ownerChain.map(_.name) :+ name).mkString(".")
}
--
GitLab