X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.h;h=be9c86afca6d973b0bec4280654fb6c819268489;hb=9e899821b7500371dbe61975ccbc64e42e82ef83;hp=1269e76e1edf00d47951bc3c60001fee8658fe33;hpb=edaaf79d36b5e9de06881591a42b799c5de0f59a;p=c11tester.git

diff --git a/model.h b/model.h
index 1269e76e..be9c86af 100644
--- a/model.h
+++ b/model.h
@@ -73,7 +73,6 @@ private:
 
 	/** The scheduler to use: tracks the running/ready Threads */
 	Scheduler * const scheduler;
-	NodeStack * const node_stack;
 	ModelExecution *execution;
 	Thread * init_thread;
 	ModelHistory *history;