tabbing

[c11tester.git] / history.cc

diff --git a/history.cc b/history.cc
index ea4ce20b6e27fec6c60f51f1232f8631d109538a..c48835340bbe5c574ffb48970d5f215e20daa78c 100644 (file)
--- a/history.cc
+++ b/history.cc
@@ -26,11 +26,11 @@ void ModelHistory::enter_function(const uint32_t func_id, thread_id_t tid)
                thrd_func_inst_lists = model->get_execution()->get_thrd_func_inst_lists();
 
        if ( thrd_func_list->size() <= id ) {
-         uint oldsize = thrd_func_list->size();
-         thrd_func_list->resize( id + 1 );
-         for(uint i=oldsize; i<id+1; i++) {
-           new(&(*thrd_func_list)[i]) func_id_list_t();
-         }
+               uint oldsize = thrd_func_list->size();
+               thrd_func_list->resize( id + 1 );
+               for(uint i=oldsize;i<id+1;i++) {
+                       new(&(*thrd_func_list)[i]) func_id_list_t();
+               }
                thrd_func_inst_lists->resize( id + 1 );
        }