aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2019-10-31 18:27:36 +0100
committerTristan Gingold <tgingold@free.fr>2019-10-31 18:28:42 +0100
commit5790c35aaa4e69e421367850e59cd676f1c54787 (patch)
tree424f4a07dd80e0386a0f5fa13d106e59e2cbd51d
parent3e4ee32b168cdd4775ee8f33e40e89fb3b153997 (diff)
downloadghdl-5790c35aaa4e69e421367850e59cd676f1c54787.tar.gz
ghdl-5790c35aaa4e69e421367850e59cd676f1c54787.tar.bz2
ghdl-5790c35aaa4e69e421367850e59cd676f1c54787.zip
psl-nfa-utils: move active state in merge_state.
-rw-r--r--src/psl/psl-nfas-utils.adb5
1 files changed, 5 insertions, 0 deletions
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;