Get code to compile
[c11tester.git] / fuzzer.cc
index fff0c1e21be8334426f60a15c40e55f2f6a7142b..679b0af448d91dc7ae7863adc007addd99bf054e 100644 (file)
--- a/fuzzer.cc
+++ b/fuzzer.cc
@@ -20,7 +20,7 @@ Thread * Fuzzer::selectNotify(action_list_t * waiters) {
        int random_index = random() % numwaiters;
        sllnode<ModelAction*> * it = waiters->begin();
        while(random_index--)
-         it=it->getNext();
+               it=it->getNext();
        Thread *thread = model->get_thread(it->getVal());
        waiters->erase(it);
        return thread;