diff --git a/src/main/scala/util/ElaborationArtefactAnnotation.scala b/src/main/scala/util/ElaborationArtefactAnnotation.scala index b50f21c5e0..4f7f6cf7cc 100644 --- a/src/main/scala/util/ElaborationArtefactAnnotation.scala +++ b/src/main/scala/util/ElaborationArtefactAnnotation.scala @@ -77,7 +77,6 @@ case class MemoryPathToken(target: ReferenceTarget) extends Token { many.tail.foldLeft(Seq[Token](MemoryPathToken(many.head.asInstanceOf[ReferenceTarget]))) { case (tokens, r: ReferenceTarget) => this.copy(target = r) +: StringToken(" ") +: tokens }.reverse - case Some(other) => throw new Exception(s"memory $target cannot be renamed to $other") } } }