diff options
Diffstat (limited to 'src/smt/smt_engine_stats.h')
-rw-r--r-- | src/smt/smt_engine_stats.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/smt/smt_engine_stats.h b/src/smt/smt_engine_stats.h index 3ea46eaa4..3463a0371 100644 --- a/src/smt/smt_engine_stats.h +++ b/src/smt/smt_engine_stats.h @@ -53,8 +53,6 @@ struct SmtEngineStatistics /** Has something simplified to false? */ IntStat d_simplifiedToFalse; - /** Number of resource units spent. */ - ReferenceStat<uint64_t> d_resourceUnitsUsed; }; /* struct SmtEngineStatistics */ } // namespace smt |