model: remove unused definition

diff --git a/model.h b/model.h
index 80a27aaebae6385842ccda77d1534c4537e789c1..aac968a9f14077ca17953f934c82881266dc781b 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__ */