From d4491025b2fc5cd30ecb72825b04b2734fe8989b Mon Sep 17 00:00:00 2001
From: Michael Hemmer <hemmer@mpi-inf.mpg.de>
Date: Mon, 30 Mar 2009 08:32:49 +0000
Subject: [PATCH] fixed concept name

---
 .../doc_tex/Algebraic_foundations_ref/RealEmbeddable.tex        | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/RealEmbeddable.tex b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/RealEmbeddable.tex
index 981bcaa5d98..60b1ca3dc8a 100644
--- a/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/RealEmbeddable.tex
+++ b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/RealEmbeddable.tex
@@ -22,7 +22,7 @@ and functors :\\
 
 Remark:\\
 If a number type is a model of both \ccc{IntegralDomainWithoutDivision} and 
-\ccc{RealComparable}, it follows that the ring represented by such a number type 
+\ccc{RealEmbeddable}, it follows that the ring represented by such a number type 
 is a sub-ring of the real numbers and hence has characteristic zero.
 %( see http://mathworld.wolfram.com/CharacteristicField.html ).