1 files changed, 5 insertions, 5 deletions
diff --git a/FreeRTOS/Test/CBMC/proofs/Task/TaskCheckForTimeOut/tasks_test_access_functions.h b/FreeRTOS/Test/CBMC/proofs/Task/TaskCheckForTimeOut/tasks_test_access_functions.h
index 926986b35..639bc10b2 100644
--- a/FreeRTOS/Test/CBMC/proofs/Task/TaskCheckForTimeOut/tasks_test_access_functions.h
+++ b/FreeRTOS/Test/CBMC/proofs/Task/TaskCheckForTimeOut/tasks_test_access_functions.h
@@ -33,9 +33,9 @@
  */
 TaskHandle_t xUnconstrainedTCB( void )
 {
-  TCB_t * pxTCB = pvPortMalloc( sizeof( TCB_t ) );
+    TCB_t * pxTCB = pvPortMalloc( sizeof( TCB_t ) );
 
-  return pxTCB;
+    return pxTCB;
 }
 
 /*
@@ -43,9 +43,9 @@ TaskHandle_t xUnconstrainedTCB( void )
  */
 BaseType_t xPrepareCurrentTCB( void )
 {
-  __CPROVER_assert_zero_allocation();
+    __CPROVER_assert_zero_allocation();
 
-  pxCurrentTCB = xUnconstrainedTCB();
+    pxCurrentTCB = xUnconstrainedTCB();
 
-  return pxCurrentTCB == NULL ? pdFAIL : pdPASS;
+    return pxCurrentTCB == NULL ? pdFAIL : pdPASS;
 }