diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/Internal/System/MemoryUsage.h | 2 |
1 files changed, 1 insertions, 1 deletions
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(); } } |