Commit 4f9f8c93 authored by Davis King's avatar Davis King

Fixed typo in spec.

--HG--
extra : convert_revision : svn%3Afdd8eb12-d10e-0410-9acb-85c331704f74/trunk%403012
parent db1e8149
...@@ -83,9 +83,9 @@ namespace dlib ...@@ -83,9 +83,9 @@ namespace dlib
); );
/*! /*!
requires requires
- 0 < expsize < 32 - 0 < exp_size < 32
ensures ensures
- #size() == 2^expsize - #size() == 2^exp_size
- the value of all elements in the buffer are undefined - the value of all elements in the buffer are undefined
- #at_start() == true - #at_start() == true
throws throws
......
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