Run formatting.

lf-lang · Jun 24, 2024 · 63ce483 · 63ce483
1 parent 5cd75ab
commit 63ce483
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/core/federated/RTI/rti_remote.c b/core/federated/RTI/rti_remote.c
@@ -935,7 +935,7 @@ void* clock_synchronization_thread(void* noargs) {
         // If any errors occur, either discard the message or the clock sync round.
         if (!read_failed) {
           if (buffer[0] == MSG_TYPE_CLOCK_SYNC_T3) {
-            int32_t fed_id_2 = (int32_t) extract_uint16(&(buffer[1]));
+            int32_t fed_id_2 = (int32_t)extract_uint16(&(buffer[1]));
             // Check that this message came from the correct federate.
             if (fed_id_2 != fed->enclave.id) {
               // Message is from the wrong federate. Discard the message.