From 075c9a5bf3d477d7e777a9c8574a7b1886877129 Mon Sep 17 00:00:00 2001 From: vsc Date: Sun, 11 Mar 2007 22:04:41 +0000 Subject: [PATCH] fix 7.1 git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1835 b08c6af1-5177-4d33-ba66-4b1c6b8b522a --- docs/index/iclp07.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/index/iclp07.tex b/docs/index/iclp07.tex index 01d916f88..948bb1fe5 100644 --- a/docs/index/iclp07.tex +++ b/docs/index/iclp07.tex @@ -1013,8 +1013,8 @@ in parentheses. For each variant of transitive closure, we issue two queries: one with mode \code{(in,out)} and one with mode \code{(out,out)}. % -For YAP, indices on the first argument are built on all benchmarks -under JITI.\TODO{Vitor please verify this sentence} +For YAP, indices on the first argument and \TryRetryTrust are built on +all benchmarks under \JITI. % For XXX, \JITI triggers on no benchmark but the \jitiONconstant instructions are executed for the three \bench{tc\_?\_oo} benchmarks.