From 2045b65782dba230c58fa66af8d524407e825252 Mon Sep 17 00:00:00 2001
From: Michael Hemmer <hemmer@mpi-inf.mpg.de>
Date: Mon, 29 Jan 2007 17:15:02 +0000
Subject: [PATCH] minor change

---
 .../Algebraic_foundations_ref/ExplicitInteroperable.tex       | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/ExplicitInteroperable.tex b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/ExplicitInteroperable.tex
index 7b883b9f29d..2c32734c439 100644
--- a/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/ExplicitInteroperable.tex
+++ b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/ExplicitInteroperable.tex
@@ -11,8 +11,8 @@ In this case \ccc{Coercion_traits<A,B>::Are_explicit_interoperable}
 is \ccc{Tag_true}.
 
 \ccc{A} and \ccc{B} are valid argument types for all binary functors in 
-\ccc{Algebraic_structure_traits<Type>} and \ccc{Real_embeddable_traits<RET>}.   
-This is also true for the respective global functions. 
+\ccc{Algebraic_structure_traits<Type>} and \ccc{Real_embeddable_traits<Type>}.   
+This is also the case for the respective global functions. 
 
 \ccSeeAlso
 \ccRefIdfierPage{CGAL::Coercion_traits<A,B>}\\