From f6d2ca10d64791d283db4786e7333770c003eb56 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Tue, 6 Nov 2012 19:13:05 -0800 Subject: [PATCH] model: get_num_threads() should be const --- model.cc | 2 +- model.h | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/model.cc b/model.cc index b29df05..ff1fdf9 100644 --- a/model.cc +++ b/model.cc @@ -101,7 +101,7 @@ thread_id_t ModelChecker::get_next_id() } /** @return the number of user threads created during this execution */ -unsigned int ModelChecker::get_num_threads() +unsigned int ModelChecker::get_num_threads() const { return priv->next_thread_id; } diff --git a/model.h b/model.h index f843f75..3ef6ee3 100644 --- a/model.h +++ b/model.h @@ -98,7 +98,7 @@ public: Thread * get_thread(ModelAction *act) const; thread_id_t get_next_id(); - unsigned int get_num_threads(); + unsigned int get_num_threads() const; Thread * get_current_thread(); int switch_to_master(ModelAction *act); -- 2.34.1