get rid of nodestack

[c11tester.git] / fuzzer.cc

diff --git a/fuzzer.cc b/fuzzer.cc
index 9ad61c3c5cddbc96073e85c15e8dd05f46bffadb..5b174b15f847b1df433178d600758e3be93b30f8 100644 (file)
--- a/fuzzer.cc
+++ b/fuzzer.cc
@@ -8,7 +8,7 @@ int Fuzzer::selectWrite(ModelAction *read, SnapVector<ModelAction *> * rf_set) {
        return random_index;
 }
 
-Thread * Fuzzer::selectThread(Node *n, int * threadlist, int numthreads) {
+Thread * Fuzzer::selectThread(int * threadlist, int numthreads) {
        int random_index = random() % numthreads;
        int thread = threadlist[random_index];
        thread_id_t curr_tid = int_to_id(thread);