From: Brian Norris <banorris@uci.edu>
Date: Wed, 14 Nov 2012 23:56:55 +0000 (-0800)
Subject: model: don't export Scheduler
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;ds=sidebyside;h=75ebee456936b1f68da592800b4ad0af57d830cf;p=c11tester.git

model: don't export Scheduler

I removed any users of the get_scheduler() function.
---

diff --git a/model.h b/model.h
index b8832ef0..6e7f2244 100644
--- a/model.h
+++ b/model.h
@@ -115,7 +115,6 @@ public:
 	void set_bad_synchronization() { bad_synchronization = true; }
 
 	const model_params params;
-	Scheduler * get_scheduler() { return scheduler;}
 	Node * get_curr_node();
 
 	MEMALLOC