X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.h;h=4032ef1263782f72b55d4841d37a9f9e5fd45e62;hb=10536d9feee27d20b8022ff4fde8000a2cbb3a38;hp=a8268cf8740c05fe32c86fe213b9f1d4d095f178;hpb=27a6b2d336785fa3d30d937a397242c0a6823cfc;p=model-checker.git

diff --git a/model.h b/model.h
index a8268cf..4032ef1 100644
--- a/model.h
+++ b/model.h
@@ -140,6 +140,7 @@ private:
 	bool process_write(ModelAction *curr);
 	bool process_mutex(ModelAction *curr);
 	bool process_thread_action(ModelAction *curr);
+	void process_relseq_fixup(ModelAction *curr, work_queue_t *work_queue);
 	bool check_action_enabled(ModelAction *curr);
 
 	bool take_step();