1 files changed, 2 insertions, 0 deletions
diff --git a/include/klee/Internal/System/Time.h b/include/klee/Internal/System/Time.h
index 5229c8c9..a926a25c 100644
--- a/include/klee/Internal/System/Time.h
+++ b/include/klee/Internal/System/Time.h
@@ -12,7 +12,9 @@
 
 namespace klee {
   namespace util {
+    // Returns the current time spent by the process in userland in seconds
     double getUserTime();
+    // Returns the current wall time in seconds
     double getWallTime();
   }
 }