diff options
| -rw-r--r-- | include/klee/Internal/System/Time.h | 2 |
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(); } } |