X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=execution.cc;h=f0288d2e7de1eb2d23bc32c95a3c01fb8c7d1683;hb=f9fe0087091f88deeb814d0768eecdfb1b51a94d;hp=828502686d0194e642e8b2335c910c33f86ff049;hpb=a726f5f6e1e0731a0516be1e9e23397744734ef5;p=model-checker.git

diff --git a/execution.cc b/execution.cc
index 8285026..f0288d2 100644
--- a/execution.cc
+++ b/execution.cc
@@ -5,18 +5,15 @@
 #include <stdarg.h>
 
 #include "execution.h"
-#include "model.h"
 #include "action.h"
 #include "nodestack.h"
 #include "schedule.h"
-#include "snapshot-interface.h"
 #include "common.h"
 #include "clockvector.h"
 #include "cyclegraph.h"
 #include "promise.h"
 #include "datarace.h"
 #include "threads-model.h"
-#include "output.h"
 #include "bugmessage.h"
 
 #define INITIAL_THREAD_ID	0
@@ -31,7 +28,6 @@ struct model_snapshot_members {
 		used_sequence_numbers(0),
 		next_backtrack(NULL),
 		bugs(),
-		stats(),
 		failed_promise(false),
 		too_many_reads(false),
 		no_valid_reads(false),
@@ -49,7 +45,6 @@ struct model_snapshot_members {
 	modelclock_t used_sequence_numbers;
 	ModelAction *next_backtrack;
 	SnapVector<bug_message *> bugs;
-	struct execution_stats stats;
 	bool failed_promise;
 	bool too_many_reads;
 	bool no_valid_reads;