Commit e236f0ea authored by Davis King's avatar Davis King

Fixed a typo in the spec for the std_vector_c object.

--HG--
extra : convert_revision : svn%3Afdd8eb12-d10e-0410-9acb-85c331704f74/trunk%402644
parent 8ebd22a4
...@@ -360,7 +360,7 @@ namespace dlib ...@@ -360,7 +360,7 @@ namespace dlib
); );
/*! /*!
requires requires
- begin() <= position && position < end() - begin() <= position && position <= end()
(i.e. position references an element in this vector object) (i.e. position references an element in this vector object)
ensures ensures
- #size() == size() + 1 - #size() == size() + 1
...@@ -376,7 +376,7 @@ namespace dlib ...@@ -376,7 +376,7 @@ namespace dlib
); );
/*! /*!
requires requires
- begin() <= position && position < end() - begin() <= position && position <= end()
(i.e. position references an element in this vector object) (i.e. position references an element in this vector object)
ensures ensures
- #size() == size() + n - #size() == size() + n
...@@ -391,7 +391,7 @@ namespace dlib ...@@ -391,7 +391,7 @@ namespace dlib
); );
/*! /*!
requires requires
- begin() <= position && position < end() - begin() <= position && position <= end()
(i.e. position references an element in this vector object) (i.e. position references an element in this vector object)
- first and last are not iterators into *this - first and last are not iterators into *this
ensures ensures
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment