1 files changed, 9 insertions, 6 deletions
diff --git a/FreeRTOS/Test/CBMC/proofs/Queue/QueueGetMutexHolder/QueueGetMutexHolder_harness.c b/FreeRTOS/Test/CBMC/proofs/Queue/QueueGetMutexHolder/QueueGetMutexHolder_harness.c
index 1bba9b7f8..9abaf0574 100644
--- a/FreeRTOS/Test/CBMC/proofs/Queue/QueueGetMutexHolder/QueueGetMutexHolder_harness.c
+++ b/FreeRTOS/Test/CBMC/proofs/Queue/QueueGetMutexHolder/QueueGetMutexHolder_harness.c
@@ -32,10 +32,13 @@
 
 #include "cbmc.h"
 
-void harness() {
-  QueueHandle_t xSemaphore = xUnconstrainedQueue();
-  if (xSemaphore) {
-    xSemaphore->uxQueueType = nondet_uint8_t();
-    xQueueGetMutexHolder(xSemaphore);
-  }
+void harness()
+{
+    QueueHandle_t xSemaphore = xUnconstrainedQueue();
+
+    if( xSemaphore )
+    {
+        xSemaphore->uxQueueType = nondet_uint8_t();
+        xQueueGetMutexHolder( xSemaphore );
+    }
 }