ty-synchronous-run

[ladagnou@irit.fr (Philippe LADAGNOUS)]

bonjour,

dans mon environnement, je demande une evaluation typol par
la commande "ty-synchronous-run". Or, du au travail effectue,
typol met apparemment trop de temps pour retourner le resultat,
d'ou le message d'erreur suivant:

Error: ** stio-loop : timeout occurred : (#:st-synchronous:mem:#[done ()
()])

avant reception de 

Info: prolog ( 1 ): yes.

y-a-t'il moyen de modifier le temps avant declenchement du timeout ??


merci

-- 
------------------------------------------------------
Philippe Ladagnous                           |  mailto:ladagnous@irit.fr
IRIT, Universite Paul Sabatier