From 6bf0219e18f795a8427f8d92a53bf0d149191b77 Mon Sep 17 00:00:00 2001
From: Sylvain Pion <Sylvain.Pion@sophia.inria.fr>
Date: Wed, 28 Feb 2007 16:34:01 +0000
Subject: [PATCH] update following previous renaming

---
 Kernel_23/doc_tex/Kernel_23_ref/Filtered_predicate.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Kernel_23/doc_tex/Kernel_23_ref/Filtered_predicate.tex b/Kernel_23/doc_tex/Kernel_23_ref/Filtered_predicate.tex
index 78b84b2da43..ef380638ff1 100644
--- a/Kernel_23/doc_tex/Kernel_23_ref/Filtered_predicate.tex
+++ b/Kernel_23/doc_tex/Kernel_23_ref/Filtered_predicate.tex
@@ -53,6 +53,6 @@ It uses the fast but inexact predicate based on interval arithmetic for
 filtering and the slow but exact predicate based on multi-precision floats
 when the filtering predicate fails.
 
-\ccIncludeExampleCode{Filtered_kernel/filtered_predicate.cpp}
+\ccIncludeExampleCode{Filtered_kernel/Filtered_predicate.cpp}
 
 \end{ccRefClass}