From: Brian Norris <banorris@uci.edu>
Date: Tue, 8 May 2012 18:38:36 +0000 (-0700)
Subject: model: remove unnecessary "this->"
X-Git-Tag: pldi2013~448
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=c88c7890c0f409f65fab724b4e2e764c8d95ab2e;p=model-checker.git

model: remove unnecessary "this->"
---

diff --git a/model.cc b/model.cc
index 643ad95..1c15d92 100644
--- a/model.cc
+++ b/model.cc
@@ -41,15 +41,15 @@ void free_action_list(action_list_t *list)
 ModelChecker::ModelChecker()
 {
 	/* First thread created will have id INITIAL_THREAD_ID */
-	this->next_thread_id = INITIAL_THREAD_ID;
+	next_thread_id = INITIAL_THREAD_ID;
 	used_sequence_numbers = 0;
 	/* Initialize default scheduler */
-	this->scheduler = new Scheduler();
+	scheduler = new Scheduler();
 
 	num_executions = 0;
-	this->current_action = NULL;
-	this->exploring = NULL;
-	this->nextThread = THREAD_ID_T_NONE;
+	current_action = NULL;
+	exploring = NULL;
+	nextThread = THREAD_ID_T_NONE;
 
 	rootNode = new TreeNode();
 	currentNode = rootNode;
@@ -65,7 +65,7 @@ ModelChecker::~ModelChecker()
 
 	free_action_list(action_trace);
 
-	delete this->scheduler;
+	delete scheduler;
 	delete rootNode;
 }