From d826da2cbc89d881aa1be2cdb4211a57f2bc7620 Mon Sep 17 00:00:00 2001
From: Monique Teillaud <Monique.Teillaud@sophia.inria.fr>
Date: Thu, 23 Aug 2007 09:28:56 +0000
Subject: [PATCH] missing refinements fixed

---
 .../Circular_kernel_2_ref/FunctorsOtherPredicates.tex | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/Circular_kernel_2/doc_tex/Circular_kernel_2_ref/FunctorsOtherPredicates.tex b/Circular_kernel_2/doc_tex/Circular_kernel_2_ref/FunctorsOtherPredicates.tex
index b32ab041456..2f6b8350fdb 100644
--- a/Circular_kernel_2/doc_tex/Circular_kernel_2_ref/FunctorsOtherPredicates.tex
+++ b/Circular_kernel_2/doc_tex/Circular_kernel_2_ref/FunctorsOtherPredicates.tex
@@ -4,6 +4,10 @@
 
 To test whether a point lies on a curve.
 
+\ccRefines
+
+\ccc{Kernel::HasOn_2}
+
 \ccCreationVariable{fo}
 
 An object \ccVar\ of this type must provide:
@@ -33,8 +37,11 @@ An object \ccVar\ of this type must provide:
 
 \ccDefinition
 
-Testing whether the interiors of two curves overlap. Two circular arcs
-can overlap on one point if they have the same supporting circle.
+Testing whether the interiors of two curves overlap. 
+
+\ccRefines
+
+\ccc{Kernel::DoOverlap_2}
 
 \ccCreationVariable{fo}