From 7a530eea88c26701061b1e7679635dea6d12701e Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Fri, 2 Sep 2016 11:12:25 +0200
Subject: [PATCH] lexmin.cc: order_cache: use clear instead of resize(0) to
 clear cache

This clarifies the intention of the code.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
---
 lexmin.cc | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/lexmin.cc b/lexmin.cc
index 8fe4c0c..d739908 100644
--- a/lexmin.cc
+++ b/lexmin.cc
@@ -618,14 +618,14 @@ struct order_cache {
 	    le[i].free();
 	for (int i = 0; i < unknown.size(); ++i)
 	    unknown[i].free();
-	le.resize(0);
-	unknown.resize(0);
+	le.clear();
+	unknown.clear();
     }
     ~order_cache() {
 	clear_transients();
 	for (int i = 0; i < lt.size(); ++i)
 	    lt[i].free();
-	lt.resize(0);
+	lt.clear();
     }
     void add(order_cache_el& cache_el, order_sign sign);
     order_sign check_lt(vector<order_cache_el>* list,
-- 
2.11.4.GIT