diff options
| -rw-r--r-- | sources/scala/tools/dtd2scala/template/ObjectTemplate.scala.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sources/scala/tools/dtd2scala/template/ObjectTemplate.scala.xml b/sources/scala/tools/dtd2scala/template/ObjectTemplate.scala.xml index 0cc32e328d..903be25ffb 100644 --- a/sources/scala/tools/dtd2scala/template/ObjectTemplate.scala.xml +++ b/sources/scala/tools/dtd2scala/template/ObjectTemplate.scala.xml @@ -57,12 +57,12 @@ val &cAttributeName; : scala.Option[String] = scala.None; /* o'ridden at parse time */ </attributeBinding> - def % (attrs:scala.List[scala.Symbol#AttrDef]) = new &ccElementName;( children:_* ) { + def % (attrs:scala.List[Pair[String,String]]) = new &ccElementName;( children:_* ) { private var lmap = scala.collection.immutable.ListMap.Empty[String,String]; for( val a <- attrs.elements ) { - lmap = lmap.update(a.key, a.value) + lmap = lmap.update( a._1, a._2 ) } def attributes : attribMap = lmap; |