diff --git a/docs/yap.tex b/docs/yap.tex index de540e481..c5f74031f 100644 --- a/docs/yap.tex +++ b/docs/yap.tex @@ -11396,7 +11396,7 @@ available with the @code{use_module(library(timeout))} command. Execute goal @var{Goal} with time limited @var{Timeout}, where @var{Timeout} is measured in milliseconds. If the goal succeeds, unify @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 entry. If the timer expires before the goal completes, the alarm will