Commit 8770498c authored by Davis King's avatar Davis King

Fixed typo in spec

parent 5e10ae6e
...@@ -652,7 +652,7 @@ namespace dlib ...@@ -652,7 +652,7 @@ namespace dlib
); );
/*! /*!
requires requires
- max_index_plus_one(v) < m.nc() - max_index_plus_one(v) <= m.nc()
- v == an unsorted sparse vector - v == an unsorted sparse vector
ensures ensures
- #result == m*v - #result == m*v
...@@ -671,7 +671,7 @@ namespace dlib ...@@ -671,7 +671,7 @@ namespace dlib
); );
/*! /*!
requires requires
- max_index_plus_one(v) < m.nc() - max_index_plus_one(v) <= m.nc()
- v == an unsorted sparse vector - v == an unsorted sparse vector
ensures ensures
- returns m*v - returns m*v
......
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