From c2ecaac69c42887b07eae24e85ab11f679984cbc Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Tue, 1 May 2012 13:20:31 -0700 Subject: [PATCH] model: change type for ModelChecker::get_id() --- model.cc | 2 +- model.h | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/model.cc b/model.cc index 04a8773d..f541d48d 100644 --- a/model.cc +++ b/model.cc @@ -48,7 +48,7 @@ void ModelChecker::reset_to_initial_state() /* scheduler reset ? */ } -int ModelChecker::get_next_id() +thread_id_t ModelChecker::get_next_id() { return ++used_thread_id; } diff --git a/model.h b/model.h index 83db4d8f..3e644f27 100644 --- a/model.h +++ b/model.h @@ -53,7 +53,7 @@ public: void remove_thread(Thread *t); Thread * get_thread(thread_id_t tid) { return thread_map[tid]; } - int get_next_id(); + thread_id_t get_next_id(); int switch_to_master(ModelAction *act); -- 2.34.1