X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=model.h;h=4a55c52b5e9f2ac637b952f12598d7374ccb561f;hp=c13dffd7f24c01a2802ebcc2a1351d1a7231aa22;hb=c47ea1e8fc71e7934d6a670802247d41a603128a;hpb=ac06a98f90fe5c333cd8628e72e11f532c0c6444

diff --git a/model.h b/model.h
index c13dffd..4a55c52 100644
--- a/model.h
+++ b/model.h
@@ -88,6 +88,7 @@ private:
 	ModelAction * get_last_seq_cst(const void *location);
 	void build_reads_from_past(ModelAction *curr);
 	ModelAction * process_rmw(ModelAction * curr);
+	void post_r_modification_order(ModelAction * curr, const ModelAction *rf);
 	void r_modification_order(ModelAction * curr, const ModelAction *rf);
 	void w_modification_order(ModelAction * curr);