From b185c29a7bfac7ffb9478ffde902bb6af2327e6d Mon Sep 17 00:00:00 2001
From: Tobias Reinhard <16916681+tobireinhard@users.noreply.github.com>
Date: Wed, 26 Oct 2022 10:30:05 -0400
Subject: [PATCH] Typo.

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

diff --git a/tasks.c b/tasks.c
index cf4f47571..302c581c2 100644
--- a/tasks.c
+++ b/tasks.c
@@ -1500,7 +1500,7 @@ static void prvInitialiseNewTask( TaskFunction_t pxTaskCode,
             //@ assume( 0 <= (( (uint32_t) pxTopOfStack) & ~(7)) );
 
             // TODO: How can we prove this?
-            // Assume that now overflow occurs.
+            // Assume that no overflow occurs.
             //@ assume(  (((uint32_t) pxTopOfStack) & ~7) <= UINTPTR_MAX);
             pxTopOfStack = ( StackType_t * ) ( ( ( portPOINTER_SIZE_TYPE ) pxTopOfStack ) & ( ~( ( portPOINTER_SIZE_TYPE ) portBYTE_ALIGNMENT_MASK ) ) ); /*lint !e923 !e9033 !e9078 MISRA exception.  Avoiding casts between pointers and integers is not practical.  Size differences accounted for using portPOINTER_SIZE_TYPE type.  Checked by assert(). */