[Boost-commit] svn:boost r46869 - sandbox/committee/concepts/stdlib

From: mmarcus_at_[hidden]
Date: 2008-06-29 12:37:50

Author: mmarcus
Date: 2008-06-29 12:37:49 EDT (Sun, 29 Jun 2008)
New Revision: 46869
URL: http://svn.boost.org/trac/boost/changeset/46869

Log:
Some container bug fixes, and update issue list

Text files modified: 
   sandbox/committee/concepts/stdlib/clib-containers.tex |     4 ++--                                    
   sandbox/committee/concepts/stdlib/lib-issues.txt      |     2 +-                                      
   2 files changed, 3 insertions(+), 3 deletions(-)

Modified: sandbox/committee/concepts/stdlib/clib-containers.tex
==============================================================================
--- sandbox/committee/concepts/stdlib/clib-containers.tex	(original)
+++ sandbox/committee/concepts/stdlib/clib-containers.tex	2008-06-29 12:37:49 EDT (Sun, 29 Jun 2008)
@@ -417,7 +417,7 @@
   void @\removedCCC{C::}@pop_front(@\addedCC{C\&}@);
 
   axiom FrontInsertion(C c, value_type x) {
-    c == (@\removedCCC{c.}@push_front(@\addedCC{c, }@,x), @\removedCCC{c.}@pop_front(@\addedCC{c}@));
+    c == (@\removedCCC{c.}@push_front(@\addedCC{c, }@x), @\removedCCC{c.}@pop_front(@\addedCC{c}@));
   }
 }
 \end{itemdecl}
@@ -527,7 +527,7 @@
 \begin{itemdecl}
 template <MemberInsertionSequence C> 
 concept_map InsertionSequence<C> {
-  iterator insert(C& c, Container<C>::const_iterator i, const Container<C>::value_type &v)    
+  Container<C>::iterator insert(C& c, Container<C>::const_iterator i, const Container<C>::value_type &v)    
   { return c.insert(i, v); }
 }			
 \end{itemdecl}

Modified: sandbox/committee/concepts/stdlib/lib-issues.txt
==============================================================================
--- sandbox/committee/concepts/stdlib/lib-issues.txt	(original)
+++ sandbox/committee/concepts/stdlib/lib-issues.txt	2008-06-29 12:37:49 EDT (Sun, 29 Jun 2008)
@@ -445,4 +445,4 @@
 Other issues (from Mat)
 
    * Where is back_inserter etc.?
-
+   * Still some mutables left in Container