model: remove unused definition
authorBrian Norris <banorris@uci.edu>
Tue, 24 Apr 2012 20:44:34 +0000 (13:44 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 24 Apr 2012 20:44:34 +0000 (13:44 -0700)
model.h

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