diff --git a/src/main/scala/leon/purescala/Common.scala b/src/main/scala/leon/purescala/Common.scala index 2f152045a7de29fd097625e3f0ee771b810b9504..16f006cd4c7ef0eb7364e05c0eeb036002aa78f6 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(".") }