X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.h;h=d71ad8f69204f9a1905269595f80cdbff191a0f8;hb=6b01d1c06ef2c3f9313196bd9fa7e905bfbdfde1;hp=9e52f53752e016152bcc9d8267890472e391d1a8;hpb=b9bb96ec1112fdf416296d4c49293eb5cbb6da41;p=c11tester.git

diff --git a/model.h b/model.h
index 9e52f537..d71ad8f6 100644
--- a/model.h
+++ b/model.h
@@ -41,7 +41,6 @@ public:
 	void exit_model_checker();
 
 	ModelExecution * get_execution() const { return execution; }
-	ModelHistory * get_history() const { return history; }
 
 	int get_execution_number() const { return execution_number; }
 
@@ -70,7 +69,6 @@ private:
 
 	/** The scheduler to use: tracks the running/ready Threads */
 	Scheduler * const scheduler;
-	ModelHistory * history;
 	ModelExecution *execution;
 	Thread * init_thread;