From e89cd9b7933fb88138d29edc61eeb5718a318f99 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Thu, 2 Apr 2015 17:10:02 +0100
Subject: Revert "[include] Added documentation" to avoid a conflict with a
 pending pull request.

This reverts commit badffc570e1be6b675dcab7e21829bd029c46287.
---
 include/klee/Internal/System/Time.h | 2 --
 1 file changed, 2 deletions(-)

(limited to 'include')

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