X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.h;h=f8c2bc867946dc255b0cf2946e9c8f85c422b4d2;hb=5236e7a4403ccc6d28b3fdc746c5710d6190310a;hp=6685ab365c64179ff91c303cf19b8fd709da05c4;hpb=b588ae090b73e131a824d5328e5e8a6ead760148;p=model-checker.git

diff --git a/model.h b/model.h
index 6685ab3..f8c2bc8 100644
--- a/model.h
+++ b/model.h
@@ -182,7 +182,6 @@ private:
 	ModelAction * get_last_unlock(ModelAction *curr) const;
 	void build_reads_from_past(ModelAction *curr);
 	ModelAction * process_rmw(ModelAction *curr);
-	void post_r_modification_order(ModelAction *curr, const ModelAction *rf);
 
 	template <typename rf_type>
 	bool r_modification_order(ModelAction *curr, const rf_type *rf);