add pop_back to StatePost

VeriFIT · Jul 24, 2024 · c5d1db2 · c5d1db2
1 parent 7c3f5d0
commit c5d1db2
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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;