From c88c7890c0f409f65fab724b4e2e764c8d95ab2e Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Tue, 8 May 2012 11:38:36 -0700 Subject: [PATCH] model: remove unnecessary "this->" --- model.cc | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) 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; } -- 2.34.1