rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

small typographic corrections

Browse Source
This commit is contained in:
Markus Triska
2020-04-28 17:35:53 +02:00
parent b139620fba
commit 2696fd1291
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/prolog/lib/time.pl
View File

@@ -6,7 +6,7 @@
Reasoning about time stamps would be a useful addition, for example Reasoning about time stamps would be a useful addition, for example
by obtaining the current time, comparing and formatting it. by obtaining the current time, comparing and formatting it.
'$cpu_new' can be replaced by statistics/2 once that is implemented. '$cpu_now' can be replaced by statistics/2 once that is implemented.
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
:- module(time, [max_sleep_time/1, sleep/1, time/1]). :- module(time, [max_sleep_time/1, sleep/1, time/1]).
@@ -22,7 +22,7 @@ sleep(T) :-
( T < 0 -> ( T < 0 ->
domain_error(not_less_than_zero, T, sleep/1) domain_error(not_less_than_zero, T, sleep/1)
; max_sleep_time(N), T > N -> ; max_sleep_time(N), T > N ->
throw(error(reprensentation_error(max_sleep_time), sleep/1)) throw(error(representation_error(max_sleep_time), sleep/1))
; '$sleep'(T) ; '$sleep'(T)
). ).