Revert "[include] Added documentation" to avoid a conflict with a pending pull request.

This reverts commit badffc570e1be6b675dcab7e21829bd029c46287.

1 files changed, 0 insertions, 2 deletions

diff --git a/include/klee/Internal/System/Time.h b/include/klee/Internal/System/Time.h
index a926a25c..5229c8c9 100644
--- a/include/klee/Internal/System/Time.h
+++ b/include/klee/Internal/System/Time.h
@@ -12,9 +12,7 @@
 
 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();
   }
 }