changeset 372 | e005154ae030 |
parent 312 | 50e3d1ca5262 |
child 383 | 3019564ff391 |
--- a/src/main/scala/net/metaphor/api/FinitelyPresentedCategory.scala Wed Jan 11 22:13:37 2012 +0900 +++ b/src/main/scala/net/metaphor/api/FinitelyPresentedCategory.scala Wed Jan 11 22:43:52 2012 +0900 @@ -19,7 +19,7 @@ } override def hashCode = { - List(objects.toSet, allGenerators.toSet, symmetrizedRelations.toSet).hashCode + List[Any](objects.toSet, allGenerators.toSet, symmetrizedRelations.toSet).hashCode } def findIsomorphismsTo(other: FinitelyPresentedCategory): Iterable[Functor] = ???