# HG changeset patch
# User wenzelm
# Date 1520504445 -3600
# Node ID a8a3f73623e7384fbf59f94eea2b17c29c13baeb
# Parent  7655e6369c9f1d9a3be36f244910ee485d0a4364
more balanced AFP partitioning;

diff -r 7655e6369c9f -r a8a3f73623e7 src/Pure/Admin/afp.scala
--- a/src/Pure/Admin/afp.scala	Wed Mar 07 19:02:22 2018 +0100
+++ b/src/Pure/Admin/afp.scala	Thu Mar 08 11:20:45 2018 +0100
@@ -85,7 +85,7 @@
 
   /* partition sessions */
 
-  val force_partition1: List[String] = List("Category3")
+  val force_partition1: List[String] = List("Category3", "Network_Security_Policy_Verification")
 
   def partition(n: Int): List[String] =
     n match {