update comment

diff --git a/src/prolog/lib/time.pl b/src/prolog/lib/time.pl
index 42438c6233f69146d3cf79c976599753b7823cad..3e401044637aa75425004678ff635925a6a15c76 100644 (file)
--- a/src/prolog/lib/time.pl
+++ b/src/prolog/lib/time.pl
@@ -3,8 +3,8 @@
    Part of Scryer Prolog.
 
    This library provides predicates for reasoning about time.
-   sleep/1 should be implemented here, sleeping for a number of seconds.
-   In addition, this library should provide reasoning about time stamps.
+   Reasoning about time stamps would be a useful addition, for example
+   by obtaining the current time, comparing and formatting it.
 
    '$cpu_new' can be replaced by statistics/2 once that is implemented.
 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */