From 5918152b52b5f9a4470834a97091308df69cdc67 Mon Sep 17 00:00:00 2001
From: Frank Busse <bb0xfb@gmail.com>
Date: Thu, 19 Mar 2020 17:42:05 +0000
Subject: stats: remove queryConstructTime (unused)

---
 include/klee/Solver/SolverStats.h | 1 -
 1 file changed, 1 deletion(-)

(limited to 'include')

diff --git a/include/klee/Solver/SolverStats.h b/include/klee/Solver/SolverStats.h
index dd39043a..308ea318 100644
--- a/include/klee/Solver/SolverStats.h
+++ b/include/klee/Solver/SolverStats.h
@@ -23,7 +23,6 @@ namespace stats {
   extern Statistic queryCacheMisses;
   extern Statistic queryCexCacheHits;
   extern Statistic queryCexCacheMisses;
-  extern Statistic queryConstructTime;
   extern Statistic queryConstructs;
   extern Statistic queryCounterexamples;
   extern Statistic queryTime;
-- 
cgit 1.4.1