src/Pure/Admin/afp.scala
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 {