X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=model.h;fp=model.h;h=3d1385596751c1ba13fd7016c8df2690921962d1;hp=f4961d80cfd70d31ff041c88b747cbc6794ab0da;hb=5d806b4bc80d6df106c78f47b336ef9d2aad7f3d;hpb=07b041c2dd6958bb3a52ffcba07e8e642130548c

diff --git a/model.h b/model.h
index f4961d8..3d13855 100644
--- a/model.h
+++ b/model.h
@@ -104,7 +104,6 @@ public:
 	void assert_user_bug(const char *msg);
 
 	const model_params params;
-	Node * get_curr_node() const;
 	void add_trace_analysis(TraceAnalysis *a) {
 		trace_analyses->push_back(a);
 	}