X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=fuzzer.h;h=a6318d04ff941aada044e7a81f757c1185c56ea1;hp=14d875d7827a2cf64c86f4abcf6838d56d7c00e9;hb=5b68754a2ba2c75dccfff9d64ae0aa1069c8e3fe;hpb=f750120c93252f2b677c4b07d003fc71fcdaaa00

diff --git a/fuzzer.h b/fuzzer.h
index 14d875d7..a6318d04 100644
--- a/fuzzer.h
+++ b/fuzzer.h
@@ -7,7 +7,7 @@
 class Fuzzer {
 public:
   Fuzzer() {}
-  ModelAction * selectWrite(ModelAction *read, ModelVector<ModelAction *>* rf_set);
+  int selectWrite(ModelAction *read, ModelVector<ModelAction *>* rf_set);
   Thread * selectThread(Node *n, int * threadlist, int numthreads);
   Thread * selectNotify(action_list_t * waiters);
   MEMALLOC