From db0b378789757a884290d88c5d6bf79ef0b5a491 Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Wed, 3 Mar 2010 22:12:17 +0000 Subject: [PATCH] fix doc typo (obs from Jose Santos). --- docs/yap.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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