From: Brian Norris <banorris@uci.edu>
Date: Tue, 24 Apr 2012 20:44:34 +0000 (-0700)
Subject: model: remove unused definition
X-Git-Tag: pldi2013~499
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=cfbd2bd9b7c20f27d474142f56ad49d6b7bd0a4a;p=model-checker.git

model: remove unused definition
---

diff --git a/model.h b/model.h
index 80a27aa..aac968a 100644
--- a/model.h
+++ b/model.h
@@ -110,6 +110,4 @@ private:
 
 extern ModelChecker *model;
 
-int thread_switch_to_master(ModelAction *act);
-
 #endif /* __MODEL_H__ */