From 3effbe640f5f299e97c5154b418c58cb809aee6d 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 78907f1d..bcc10e20 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 59a07597..86f9d0b5 100644 --- a/model.h +++ b/model.h @@ -89,7 +89,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