X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.h;h=412543dbeba356d3839c66cc422ff1487fa659eb;hb=237f94a977b3c09f8b3b2f551e0057a4ed36b06d;hp=fe76d7f9e6b401b6e7c868b8fe6e515b39d79ba0;hpb=6caada76d7318c7853dd334bccbfed0367c242ec;p=model-checker.git

diff --git a/model.h b/model.h
index fe76d7f..412543d 100644
--- a/model.h
+++ b/model.h
@@ -196,7 +196,7 @@ private:
 	template <typename rf_type>
 	bool r_modification_order(ModelAction *curr, const rf_type *rf);
 
-	bool w_modification_order(ModelAction *curr);
+	bool w_modification_order(ModelAction *curr, std::vector< ModelAction *, ModelAlloc<ModelAction *> > *send_fv);
 	void get_release_seq_heads(ModelAction *acquire, ModelAction *read, rel_heads_list_t *release_heads);
 	bool release_seq_heads(const ModelAction *rf, rel_heads_list_t *release_heads, struct release_seq *pending) const;
 	bool resolve_release_sequences(void *location, work_queue_t *work_queue);