From f9fe0087091f88deeb814d0768eecdfb1b51a94d Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Mon, 15 Apr 2013 19:59:53 -0700
Subject: [PATCH] clean out includes, etc.
---
execution.cc | 5 -----
execution.h | 1 -
model.cc | 1 -
3 files changed, 7 deletions(-)
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;
diff --git a/execution.h b/execution.h
index 6810fee..0f1e8ae 100644
--- a/execution.h
+++ b/execution.h
@@ -14,7 +14,6 @@
#include "config.h"
#include "modeltypes.h"
#include "stl-model.h"
-#include "context.h"
#include "params.h"
/* Forward declaration */
diff --git a/model.cc b/model.cc
index 8d5bc0f..48fa28a 100644
--- a/model.cc
+++ b/model.cc
@@ -1,6 +1,5 @@
#include <stdio.h>
#include <algorithm>
-#include <mutex>
#include <new>
#include <stdarg.h>
--
2.34.1