diff -r c4c4c2f01723 -r 8b3d9a91706e src/Pure/Admin/afp.scala --- 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 {