X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.h;h=ae668b159cb04d701ff151f099b96c85ae2452a0;hb=664f78de4c437f087e5d0cf0b893a95cf7c50072;hp=0cbff4ce36bad6148bb22a6d6d40a5bf4cf7a1a1;hpb=a26fa96048fab9b13239e49e37ed8cf8c39583c9;p=model-checker.git

diff --git a/model.h b/model.h
index 0cbff4c..ae668b1 100644
--- a/model.h
+++ b/model.h
@@ -276,7 +276,7 @@ private:
 	bool is_feasible_prefix_ignore_relseq() const;
 	bool is_infeasible() const;
 	bool is_deadlocked() const;
-	bool check_deadlock(const Thread *t) const;
+	bool is_circular_wait(const Thread *t) const;
 	bool is_complete_execution() const;
 	bool have_bug_reports() const;
 	void print_bugs() const;