From cfbd2bd9b7c20f27d474142f56ad49d6b7bd0a4a Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Tue, 24 Apr 2012 13:44:34 -0700 Subject: [PATCH] model: remove unused definition --- model.h | 2 -- 1 file changed, 2 deletions(-) diff --git a/model.h b/model.h index 80a27aae..aac968a9 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__ */ -- 2.34.1