Experimental TLS support.

[c11tester.git] / fuzzer.h

diff --git a/fuzzer.h b/fuzzer.h
index 3a84351067690a66463a8651d260d8950cc269c8..572190e1b35bc4df9437836f96e62667a2dfdf5b 100644 (file)
--- a/fuzzer.h
+++ b/fuzzer.h
@@ -7,8 +7,8 @@
 class Fuzzer {
 public:
        Fuzzer() {}
-       int selectWrite(ModelAction *read, ModelVector<ModelAction *>* rf_set);
-       Thread * selectThread(Node *n, int * threadlist, int numthreads);
+       int selectWrite(ModelAction *read, SnapVector<ModelAction *>* rf_set);
+       Thread * selectThread(int * threadlist, int numthreads);
        Thread * selectNotify(action_list_t * waiters);
        MEMALLOC
 private: