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}