model: change type for ModelChecker::get_id()

diff --git a/model.cc b/model.cc
index 04a8773d2fc121b82303a2a4465a7767c52edbb6..f541d48d6114a25c5602fcadda7af1a4377df293 100644 (file)
--- 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 83db4d8f7c3985d72e1b7d151a259027db7fee55..3e644f2792df519b67c7452f959cacd1fd791593 100644 (file)
--- 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);