Fix memory leak, forgotten freeing of the memory

VeriFIT · Apr 19, 2024 · a6d772a · a6d772a
1 parent f84683e
commit a6d772a
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/nfa/operations.cc b/src/nfa/operations.cc
@@ -228,8 +228,10 @@ namespace {
         covering_states.push_back(mata::utils::OrdVector<State>());
         covering_indexes.push_back(mata::utils::OrdVector<State>());
 
-        if (aut.delta.empty())
+        if (aut.delta.empty()){
+            delete subset_map;
             return result;
+        }
 
         using Iterator = mata::utils::OrdVector<SymbolPost>::const_iterator;
         SynchronizedExistentialSymbolPostIterator synchronized_iterator;