From dd6410b2b35a76de75622660cae9c1444b7a1880 Mon Sep 17 00:00:00 2001 From: Robin Haberkorn Date: Mon, 21 Nov 2016 23:12:07 +0100 Subject: optimized QRegisterTable cleanup * we can use root() instead of min() which is faster --- src/goto.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/goto.h') diff --git a/src/goto.h b/src/goto.h index de4432d..44d1d29 100644 --- a/src/goto.h +++ b/src/goto.h @@ -93,7 +93,7 @@ public: { Label *cur; - while ((cur = (Label *)min())) + while ((cur = (Label *)root())) delete (Label *)RBTreeString::remove(cur); } -- cgit v1.2.3