diff options
Diffstat (limited to 'src/util/resource_manager.cpp')
| -rw-r--r-- | src/util/resource_manager.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/util/resource_manager.cpp b/src/util/resource_manager.cpp index 38505e5e9..c31300077 100644 --- a/src/util/resource_manager.cpp +++ b/src/util/resource_manager.cpp @@ -185,7 +185,7 @@ ResourceManager::ResourceManager(StatisticsRegistry& stats, Options& options) d_options(options) { - d_statistics->d_resourceUnitsUsed.setData(d_cumulativeResourceUsed); + d_statistics->d_resourceUnitsUsed.set(d_cumulativeResourceUsed); } ResourceManager::~ResourceManager() {} @@ -243,7 +243,7 @@ void ResourceManager::spendResource(unsigned amount) { Trace("limit") << "ResourceManager::spendResource: interrupt!" << std::endl; Trace("limit") << " on call " - << d_statistics->d_spendResourceCalls.getData() << std::endl; + << d_statistics->d_spendResourceCalls.get() << std::endl; if (outOfTime()) { Trace("limit") << "ResourceManager::spendResource: elapsed time" |