From: Markus Triska <triska@metalevel.at>
Date: Sun, 19 Apr 2020 20:36:27 +0000 (+0200)
Subject: update comment
X-Git-Tag: v0.8.123~118^2~2^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=7a3e6e19b15f0eb87dec81fac74257c9afb8c447;p=scryer-prolog.git

update comment
---

diff --git a/src/prolog/lib/time.pl b/src/prolog/lib/time.pl
index 42438c62..3e401044 100644
--- 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.
 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */