1 files changed, 6 insertions, 6 deletions
diff --git a/FreeRTOS/Test/CBMC/proofs/Task/TaskStartScheduler/TaskStartScheduler_harness.c b/FreeRTOS/Test/CBMC/proofs/Task/TaskStartScheduler/TaskStartScheduler_harness.c
index ffa84fab1..89c9f1107 100644
--- a/FreeRTOS/Test/CBMC/proofs/Task/TaskStartScheduler/TaskStartScheduler_harness.c
+++ b/FreeRTOS/Test/CBMC/proofs/Task/TaskStartScheduler/TaskStartScheduler_harness.c
@@ -40,12 +40,12 @@ BaseType_t xPrepareTasks( void );
  */
 void harness()
 {
-  BaseType_t xTasksPrepared;
+    BaseType_t xTasksPrepared;
 
-  xTasksPrepared = xPrepareTasks();
+    xTasksPrepared = xPrepareTasks();
 
-  if ( xTasksPrepared != pdFAIL )
-  {
-    vTaskStartScheduler();
-  }
+    if( xTasksPrepared != pdFAIL )
+    {
+        vTaskStartScheduler();
+    }
 }