From: Brian Norris <banorris@uci.edu>
Date: Tue, 1 May 2012 20:20:31 +0000 (-0700)
Subject: model: change type for ModelChecker::get_id()
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=c2ecaac69c42887b07eae24e85ab11f679984cbc;p=c11tester.git

model: change type for ModelChecker::get_id()
---

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);