From d7cf3f5b181401f42ba5a8586d12885cfb844639 Mon Sep 17 00:00:00 2001
From: Akim Demaille <akim.demaille@gmail.com>
Date: Sun, 18 Aug 2019 06:54:56 -0500
Subject: [PATCH] c++: use resize to shrink a vector

Suggested by Adrian Vogelsgesang.
https://lists.gnu.org/archive/html/bison-patches/2019-08/msg00009.html

* data/skeletons/lalr1.cc (yy_lac_check_): here.
---
 data/skeletons/lalr1.cc | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/data/skeletons/lalr1.cc b/data/skeletons/lalr1.cc
index 37c12f7d..cf11fba3 100644
--- a/data/skeletons/lalr1.cc
+++ b/data/skeletons/lalr1.cc
@@ -1182,8 +1182,7 @@ b4_dollar_popdef])[]dnl
           size_t lac_size = yylac_stack_.size ();
           if (yylen < lac_size)
             {
-              for (size_t i = 0; i < yylen; ++i)
-                yylac_stack_.pop_back ();
+              yylac_stack_.resize (lac_size - yylen);
               yylen = 0;
             }
           else if (lac_size)