From 016120fd8a8a2cac8457b66b6d2a41e0b5093889 Mon Sep 17 00:00:00 2001
From: Martin Nowack <martin@se.inf.tu-dresden.de>
Date: Thu, 24 Apr 2014 13:58:03 +0200
Subject: Renamed GetTotalMemoryUsage to GetTotalMallocUsage

---
 lib/Support/MemoryUsage.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/Support')

diff --git a/lib/Support/MemoryUsage.cpp b/lib/Support/MemoryUsage.cpp
index 94cee79e..676ce307 100644
--- a/lib/Support/MemoryUsage.cpp
+++ b/lib/Support/MemoryUsage.cpp
@@ -12,7 +12,7 @@
 
 using namespace klee;
 
-size_t util::GetTotalMemoryUsage() {
+size_t util::GetTotalMallocUsage() {
   struct mallinfo mi = ::mallinfo();
   // The malloc implementation in glibc (pmalloc2)
   // does not include mmap()'ed memory in mi.uordblks
-- 
cgit 1.4.1