From cec6d63e04157cffb57b49890230f7c9a9777089 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Fri, 24 Dec 2021 22:55:37 +0000
Subject: Document that GetTotalMallocUsage returns the usage in bytes

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

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();
   }
 }
-- 
cgit 1.4.1