model: remove unused definition

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__ */