1 files changed, 0 insertions, 38 deletions
diff --git a/lib/Solver/SolverStats.h b/lib/Solver/SolverStats.h
deleted file mode 100644
index a38c9826..00000000
--- a/lib/Solver/SolverStats.h
+++ /dev/null
@@ -1,38 +0,0 @@
-//===-- SolverStats.h -------------------------------------------*- C++ -*-===//
-//
-//                     The KLEE Symbolic Virtual Machine
-//
-// This file is distributed under the University of Illinois Open Source
-// License. See LICENSE.TXT for details.
-//
-//===----------------------------------------------------------------------===//
-
-#ifndef KLEE_SOLVERSTATS_H
-#define KLEE_SOLVERSTATS_H
-
-#include "klee/Statistic.h"
-
-namespace klee {
-namespace stats {
-
-  extern Statistic cexCacheTime;
-  extern Statistic queries;
-  extern Statistic queriesInvalid;
-  extern Statistic queriesValid;
-  extern Statistic queryCacheHits;
-  extern Statistic queryCacheMisses;
-  extern Statistic queryCexCacheHits;
-  extern Statistic queryCexCacheMisses;
-  extern Statistic queryConstructTime;
-  extern Statistic queryConstructs;
-  extern Statistic queryCounterexamples;
-  extern Statistic queryTime;
-  
-#ifdef DEBUG
-  extern Statistic arrayHashTime;
-#endif
-
-}
-}
-
-#endif