From c5d1db2beed84e9fdf6ccb728871ee080cac861d Mon Sep 17 00:00:00 2001
From: jurajsic <juraj.sic@outlook.com>
Date: Wed, 24 Jul 2024 15:13:48 +0200
Subject: [PATCH] add pop_back to StatePost

---
 include/mata/nfa/delta.hh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/include/mata/nfa/delta.hh b/include/mata/nfa/delta.hh
index ce81daaff..6d9878a66 100644
--- a/include/mata/nfa/delta.hh
+++ b/include/mata/nfa/delta.hh
@@ -123,6 +123,7 @@ public:
     using super::push_back;
     // is adding non-const version as well ok?
     using super::back;
+    using super::pop_back;
     using super::filter;
 
     using super::erase;