X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=fuzzer.cc;fp=fuzzer.cc;h=9ad61c3c5cddbc96073e85c15e8dd05f46bffadb;hp=3a3f98831b1c64245a5ab85569667e604878b361;hb=07a0b575fabd521fb3f4a3f1f2483d46349c35dd;hpb=67fd0674445ff7f815fd37e704779df42f1714d7

diff --git a/fuzzer.cc b/fuzzer.cc
index 3a3f9883..9ad61c3c 100644
--- a/fuzzer.cc
+++ b/fuzzer.cc
@@ -3,7 +3,7 @@
 #include "threads-model.h"
 #include "model.h"
 
-int Fuzzer::selectWrite(ModelAction *read, SnapVector<const ModelAction *> * rf_set) {
+int Fuzzer::selectWrite(ModelAction *read, SnapVector<ModelAction *> * rf_set) {
 	int random_index = random() % rf_set->size();
 	return random_index;
 }