diff options
| -rw-r--r-- | sources/scala/util/automata/NondetWordAutom.scala | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/sources/scala/util/automata/NondetWordAutom.scala b/sources/scala/util/automata/NondetWordAutom.scala index 1f453b218f..f17bb97150 100644 --- a/sources/scala/util/automata/NondetWordAutom.scala +++ b/sources/scala/util/automata/NondetWordAutom.scala @@ -11,8 +11,6 @@ import scala.collection.{ immutable, mutable, Set, Map }; */ abstract class NondetWordAutom[T <: AnyRef] { - //type _labelT <: AnyRef ; - val nstates: Int; val labels: Seq[T]; |