X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=history.h;fp=history.h;h=ce75e2ac2af5dafd32e98834ef147383eb555cb3;hp=ad72cdfa85e34aaab1ffee3b905b136b87925ada;hb=84ff7e4d3d36a7cd8b4a018208f512a191a858dd;hpb=1cfe55ed692a62e11ded4d7574a660471ac96703

diff --git a/history.h b/history.h
index ad72cdfa..ce75e2ac 100644
--- a/history.h
+++ b/history.h
@@ -71,6 +71,8 @@ private:
 	/* A run-time map from FuncInst to ModelAction per each FuncNode, per each thread.
 	 * Manipulated by FuncNode, and needed by NewFuzzer */
 	HashTable<uint32_t, SnapVector<inst_act_map_t *> *, int, 0> * func_inst_act_maps;
+
+	bool skip_action(ModelAction * act, SnapList<ModelAction *> * curr_act_list);
 };
 
 #endif	/* __HISTORY_H__ */