From: Brian Norris <banorris@uci.edu>
Date: Wed, 14 Mar 2012 22:08:25 +0000 (-0700)
Subject: model: use 'this' uniformly
X-Git-Tag: pldi2013~579
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=c32ade2d9e2210019267dc486aef750263ed9e33;p=model-checker.git

model: use 'this' uniformly
---

diff --git a/model.cc b/model.cc
index 858b919..ebc713f 100644
--- a/model.cc
+++ b/model.cc
@@ -15,7 +15,7 @@ ModelChecker::ModelChecker()
 
 ModelChecker::~ModelChecker()
 {
-	struct scheduler *sched = model->scheduler;
+	struct scheduler *sched = this->scheduler;
 
 	if (sched->exit)
 		sched->exit();
@@ -29,5 +29,5 @@ void ModelChecker::assign_id(struct thread *t)
 
 void ModelChecker::add_system_thread(struct thread *t)
 {
-	model->system_thread = t;
+	this->system_thread = t;
 }