diff options
Diffstat (limited to 'src/libutil/aterm-map.cc')
-rw-r--r-- | src/libutil/aterm-map.cc | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/libutil/aterm-map.cc b/src/libutil/aterm-map.cc index 60092382a2f3..f400464378f5 100644 --- a/src/libutil/aterm-map.cc +++ b/src/libutil/aterm-map.cc @@ -217,17 +217,17 @@ unsigned int ATermMap::size() void printATermMapStats() { - cout << "RESIZES: " << nrResizes << " " + cerr << "RESIZES: " << nrResizes << " " << sizeTotalAlloc << " " << sizeCurAlloc << " " << sizeMaxAlloc << endl; - cout << "SET: " + cerr << "SET: " << nrItemsSet << " " << nrSetProbes << " " << (double) nrSetProbes / nrItemsSet << endl; - cout << "GET: " + cerr << "GET: " << nrItemsGet << " " << nrGetProbes << " " << (double) nrGetProbes / nrItemsGet << endl; |