diff options
| author | John Hodge <tpg@mutabah.net> | 2016-12-04 14:57:16 +0800 |
|---|---|---|
| committer | John Hodge <tpg@mutabah.net> | 2016-12-04 14:57:16 +0800 |
| commit | e20f170181ac1b5bd101d57b2248288727b26e59 (patch) | |
| tree | e51cc84eb5ec811ca11a9ed072df7ab256cfde70 /src | |
| parent | e5703ebb76e6f0a3383587b28ae600efcc1acea8 (diff) | |
| download | mrust-e20f170181ac1b5bd101d57b2248288727b26e59.tar.gz | |
Ord - Fix ordering of vectors wrt length
Diffstat (limited to 'src')
| -rw-r--r-- | src/common.hpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/common.hpp b/src/common.hpp index 27a45c32..b140e506 100644 --- a/src/common.hpp +++ b/src/common.hpp @@ -125,6 +125,8 @@ Ordering ord(const ::std::vector<T>& l, const ::std::vector<T>& r) i ++; } + if( i < r.size() ) + return OrdLess; return OrdEqual; } template<typename T, typename U> |