From 6c101718984a8bb5e1ca87c09e2b2c18fd0a8fb0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tom=C3=A1=C5=A1=20Pecka?= <peckato1@fit.cvut.cz>
Date: Mon, 5 May 2014 13:10:25 +0200
Subject: [PATCH] aconversions: StateElimination fix
---
aconversions/src/fa2re/StateElimination.cpp | 2 ++
1 file changed, 2 insertions(+)
diff --git a/aconversions/src/fa2re/StateElimination.cpp b/aconversions/src/fa2re/StateElimination.cpp
index 177a3a0b7b..6b6551f0e4 100644
--- a/aconversions/src/fa2re/StateElimination.cpp
+++ b/aconversions/src/fa2re/StateElimination.cpp
@@ -159,6 +159,8 @@ RegExpElement* StateElimination::transition( const State & p, const State & q )
{
Alternation* alt = new Alternation( );
+ alt->getElements( ).push_back( new RegExpEmpty( ) );
+
for( const auto & transition : m_MR.m_transitions )
if( transition.m_from == p && transition.m_to == q )
alt->getElements( ).push_back( transition.m_regexp->clone( ) );
--
GitLab