From 0c3121f6c286d2f793d3579c10d61f38f6ff0d6b Mon Sep 17 00:00:00 2001
From: Gavin Wood <gavin@parity.io>
Date: Tue, 25 Jul 2023 11:41:39 +0100
Subject: [PATCH] Update text/0001-agile-coretime.md
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Co-authored-by: Bastian Köcher <git@kchr.de>
---
 text/0001-agile-coretime.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/text/0001-agile-coretime.md b/text/0001-agile-coretime.md
index 222af41..81e7332 100644
--- a/text/0001-agile-coretime.md
+++ b/text/0001-agile-coretime.md
@@ -398,10 +398,10 @@ enum CoreTask {
     Assigned { target: ParaId },
     InstaPool,
 }
-// 113-bit (14 bytes). Could be 14 bytes with a specialised 32-bit `CoreTask`.
+// 120-bit (15 bytes). Could be 14 bytes with a specialised 32-bit `CoreTask`.
 struct ScheduleItem {
     mask: CoreMask, // 80 bit
-    task: CoreTask, // 33 bit
+    task: CoreTask, // 40 bit
 }
 
 /// The work we plan on having each core do at a particular time in the future.