rename pthead.h to mypthread.h

[c11tester.git] / schedule.cc

diff --git a/schedule.cc b/schedule.cc
index f26a1a6a133b569ed25c72141545ae061fbdb9b2..59a6e3a44d250be8cdb0bbc217f50cade4ef2cce 100644 (file)
--- a/schedule.cc
+++ b/schedule.cc
@@ -212,7 +212,7 @@ Thread * Scheduler::select_next_thread(Node *n)
        }
 
        if (avail_threads == 0)
-               return NULL;                            // No threads availablex
+               return NULL;// No threads availablex
 
        Thread * thread = execution->getFuzzer()->selectThread(n, thread_list, avail_threads);
        curr_thread_index = id_to_int(thread->get_id());