From c32ade2d9e2210019267dc486aef750263ed9e33 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Wed, 14 Mar 2012 15:08:25 -0700
Subject: [PATCH] model: use 'this' uniformly

---
 model.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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;
 }
-- 
2.34.1