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

---
 include/klee/Internal/System/MemoryUsage.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'include')

diff --git a/include/klee/Internal/System/MemoryUsage.h b/include/klee/Internal/System/MemoryUsage.h
index 37c838fc..e8e5d769 100644
--- a/include/klee/Internal/System/MemoryUsage.h
+++ b/include/klee/Internal/System/MemoryUsage.h
@@ -14,7 +14,7 @@
 
 namespace klee {
   namespace util {
-    size_t GetTotalMemoryUsage();
+    size_t GetTotalMallocUsage();
   }
 }
 
-- 
cgit 1.4.1