From 18886706562190980dfb7a1a060e7f110456f155 Mon Sep 17 00:00:00 2001
From: Tobias Reinhard <16916681+tobireinhard@users.noreply.github.com>
Date: Fri, 18 Nov 2022 13:35:06 -0500
Subject: [PATCH] Removed unneeded precondition

---
 tasks.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/tasks.c b/tasks.c
index 8a1994eb2..1e16da104 100644
--- a/tasks.c
+++ b/tasks.c
@@ -4274,7 +4274,6 @@ void vTaskSwitchContext( BaseType_t xCoreID )
                 // TODO: Inspect reason.
                 TaskHandle_t currentHandle = pxCurrentTCB;
                 //@ assert( currentHandle == gCurrentTCB );
-                ///@ open taskISRLockInv();
                 //@ open pubTCB_p(gCurrentTCB, 0);
                 UBaseType_t nesting = currentHandle->uxCriticalNesting;
                 configASSERT( nesting == 0 );