[Boost-commit] svn:boost r48878 - sandbox/committee/concepts/wording

Subject: [Boost-commit] svn:boost r48878 - sandbox/committee/concepts/wording
From: dgregor_at_[hidden]
Date: 2008-09-19 04:09:21

Author: dgregor
Date: 2008-09-19 04:09:18 EDT (Fri, 19 Sep 2008)
New Revision: 48878
URL: http://svn.boost.org/trac/boost/changeset/48878

Log:
Minor tweaks
Text files modified: 
   sandbox/committee/concepts/wording/wording.tex |     8 ++++----                                
   1 files changed, 4 insertions(+), 4 deletions(-)

Modified: sandbox/committee/concepts/wording/wording.tex
==============================================================================
--- sandbox/committee/concepts/wording/wording.tex	(original)
+++ sandbox/committee/concepts/wording/wording.tex	2008-09-19 04:09:18 EDT (Fri, 19 Sep 2008)
@@ -4726,8 +4726,8 @@
 \addedConcepts{\mbox{\exitexample}}
 
 \pnum
-\addedConcepts{An axiom containing a \mbox{\techterm{requires-clause}} only applies when the
-specified template requirements are satisfied. \mbox{\enterexample}}
+\changedCCC{An axiom containing a \mbox{\techterm{requires-clause}} only applies when the
+specified template requirements are satisfied.}{In a concept map where the requires clause of an \mbox{\techterm{axiom-definition}} is not satisfied, an implementation shall behave as if the axiom weere not defined.} \addedConcepts{\mbox{\enterexample}}
 \begin{codeblock}
 concept EqualityComparable2<typename T, typename U = T> {
   bool operator==(T, U);
@@ -4925,9 +4925,9 @@
 \addedConcepts{\mbox{\exitexample}}
 
 \pnum
-\addedConcepts{A concept map for an \mbox{\tcode{auto}} concept}
+\addedConcepts{A concept map for an \mbox{\tcode{auto}} concept is implicitly defined }
 \addedCC{(\mbox{\ref{concept.def}})}
-\addedConcepts{is implicitly defined when it is
+\addedConcepts{when it is
 needed} \addedConcepts{by concept map lookup (\mbox{\ref{temp.req.sat}})}\addedConcepts{.}
 \addedConcepts{If any requirement of the concept or its less refined concepts} 
 \changedCCC{is not}{would not be}