# HG changeset patch
# User wenzelm
# Date 1520709840 -3600
# Node ID 8b3d9a91706ea3512ad24939c395972c9543af76
# Parent  c4c4c2f01723453c33435ad2211ceb249523d4c3
more balanced AFP partitioning;

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 {