From 75ebee456936b1f68da592800b4ad0af57d830cf Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Wed, 14 Nov 2012 15:56:55 -0800 Subject: [PATCH] model: don't export Scheduler I removed any users of the get_scheduler() function. --- model.h | 1 - 1 file changed, 1 deletion(-) 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 -- 2.34.1