1 files changed, 1 insertions, 0 deletions
diff --git a/include/klee/System/MemoryUsage.h b/include/klee/System/MemoryUsage.h
index c3cf3c74..3fb75db6 100644
--- a/include/klee/System/MemoryUsage.h
+++ b/include/klee/System/MemoryUsage.h
@@ -14,6 +14,7 @@
 
 namespace klee {
   namespace util {
+    /// Get total malloc usage in bytes
     size_t GetTotalMallocUsage();
   }
 }