From 10aafd711d2b019df0154c7627a52c650a006244 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=A9r=C3=A9my=20Zurcher?= Date: Sat, 4 May 2013 21:21:32 +0200 Subject: [PATCH] eo ptr ind: fix indentation --- src/lib/eo/eo_ptr_indirection.c | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) diff --git a/src/lib/eo/eo_ptr_indirection.c b/src/lib/eo/eo_ptr_indirection.c index 7b27caed21..ddb7a7897a 100644 --- a/src/lib/eo/eo_ptr_indirection.c +++ b/src/lib/eo/eo_ptr_indirection.c @@ -313,15 +313,15 @@ _eo_id_release(const Eo_Id obj_id) entry->active = 0; entry->next_in_queue = -1; /* Push the entry into the queue */ - if (table->queue_tail == -1) - { - table->queue_head = table->queue_tail = entry_id; - } - else - { - table->entries[table->queue_tail].next_in_queue = entry_id; - table->queue_tail = entry_id; - } + if (table->queue_tail == -1) + { + table->queue_head = table->queue_tail = entry_id; + } + else + { + table->entries[table->queue_tail].next_in_queue = entry_id; + table->queue_tail = entry_id; + } return; } }