changeset 67815 | 8b3d9a91706e |
parent 67781 | a8a3f73623e7 |
child 67817 | 93faefc25fe7 |
--- a/src/Pure/Admin/afp.scala Sat Mar 10 15:52:47 2018 +0100 +++ b/src/Pure/Admin/afp.scala Sat Mar 10 20:24:00 2018 +0100 @@ -85,7 +85,7 @@ /* partition sessions */ - val force_partition1: List[String] = List("Category3", "Network_Security_Policy_Verification") + val force_partition1: List[String] = List("Category3", "Formula_Derivatives") def partition(n: Int): List[String] = n match {