diff options
Diffstat (limited to 'src/main/scala/firrtl/Annotations.scala')
| -rw-r--r-- | src/main/scala/firrtl/Annotations.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/main/scala/firrtl/Annotations.scala b/src/main/scala/firrtl/Annotations.scala index a529d6f1..2d76a832 100644 --- a/src/main/scala/firrtl/Annotations.scala +++ b/src/main/scala/firrtl/Annotations.scala @@ -68,7 +68,7 @@ object Annotations { def check(from: Named, tos: Seq[Named], which: Annotation): Unit = tos.size match { case 0 => throw new AnnotationException(s"Cannot remove the strict annotation ${which.serialize} on ${from.name}") - case 1 if(from != tos.head) => + case 1 if from != tos.head => throw new AnnotationException(s"Cannot rename the strict annotation ${which.serialize} on ${from.name} -> ${tos.head.name}") case _ => throw new AnnotationException(s"Cannot expand a strict annotation on ${from.name} -> ${tos.map(_.name)}") @@ -143,7 +143,7 @@ object Annotations { */ trait Unstable extends Tenacity { protected def propagate(from: Named, tos: Seq[Named], dup: Named=>Annotation): Seq[Annotation] = tos.size match { - case 1 if(tos.head == from) => Seq(dup(tos.head)) + case 1 if tos.head == from => Seq(dup(tos.head)) case _ => Seq.empty } } |