diogo
/
yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix doc typo (obs from Jose Santos).

This commit is contained in:
Vitor Santos Costa 2010-03-03 22:12:17 +00:00
parent 3070e4ce9d
commit db0b378789
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
docs/yap.tex
View File

@ -11396,7 +11396,7 @@ available with the @code{use_module(library(timeout))} command.
Execute goal @var{Goal} with time limited @var{Timeout}, where Execute goal @var{Goal} with time limited @var{Timeout}, where
@var{Timeout} is measured in milliseconds. If the goal succeeds, unify @var{Timeout} is measured in milliseconds. If the goal succeeds, unify
@var{Result} with success. If the timer expires before the goal @var{Result} with success. If the timer expires before the goal
terminates, unify @var{Result} with @t{timeout}. terminates, unify @var{Result} with @t{time_out}.
This command is implemented by activating an alarm at procedure This command is implemented by activating an alarm at procedure
entry. If the timer expires before the goal completes, the alarm will entry. If the timer expires before the goal completes, the alarm will