diff options
Diffstat (limited to 'src/library/scala/xml/dtd/impl/SubsetConstruction.scala')
-rw-r--r-- | src/library/scala/xml/dtd/impl/SubsetConstruction.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/library/scala/xml/dtd/impl/SubsetConstruction.scala b/src/library/scala/xml/dtd/impl/SubsetConstruction.scala index 8e4b5cc0f0..d1ea4b6e9e 100644 --- a/src/library/scala/xml/dtd/impl/SubsetConstruction.scala +++ b/src/library/scala/xml/dtd/impl/SubsetConstruction.scala @@ -50,7 +50,7 @@ private[dtd] class SubsetConstruction[T <: AnyRef](val nfa: NondetWordAutom[T]) addFinal(q0) // initial state may also be a final state while (!rest.isEmpty) { - val P = rest.pop + val P = rest.pop() // assign a number to this bitset indexMap = indexMap.updated(P, ix) invIndexMap = invIndexMap.updated(ix, P) |