From bd52e582948de44cff541bdb942082fcabfab15c Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 2 Feb 2016 13:54:48 -0800 Subject: [PATCH] perf(util/name): use quick_cmp at name_pair_quick_cmp --- src/util/name.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/util/name.h b/src/util/name.h index 5907d8d49..b82920964 100644 --- a/src/util/name.h +++ b/src/util/name.h @@ -212,9 +212,9 @@ inline bool independent(name const & a, name const & b) { typedef pair name_pair; struct name_pair_quick_cmp { int operator()(name_pair const & p1, name_pair const & p2) const { - int r = cmp(p1.first, p2.first); + int r = quick_cmp(p1.first, p2.first); if (r != 0) return r; - return cmp(p1.second, p2.second); + return quick_cmp(p1.second, p2.second); } };