From 5790c35aaa4e69e421367850e59cd676f1c54787 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Thu, 31 Oct 2019 18:27:36 +0100
Subject: psl-nfa-utils: move active state in merge_state.

---
 src/psl/psl-nfas-utils.adb | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src/psl')

diff --git a/src/psl/psl-nfas-utils.adb b/src/psl/psl-nfas-utils.adb
index 45a5e7942..5a5f01dab 100644
--- a/src/psl/psl-nfas-utils.adb
+++ b/src/psl/psl-nfas-utils.adb
@@ -202,6 +202,11 @@ package body PSL.NFAs.Utils is
       Set_First_Edge (S, First_E);
       Set_First_Edge (S1, No_Edge);
 
+      --  Move the active state if it is deleted.
+      if Get_Active_State (N) = S1 then
+         Set_Active_State (N, S);
+      end if;
+
       Remove_State (N, S1);
    end Merge_State;
 
-- 
cgit v1.2.3