diff options
| author | Tristan Gingold <tgingold@free.fr> | 2019-10-31 18:27:36 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2019-10-31 18:28:42 +0100 |
| commit | 5790c35aaa4e69e421367850e59cd676f1c54787 (patch) | |
| tree | 424f4a07dd80e0386a0f5fa13d106e59e2cbd51d /src/psl | |
| parent | 3e4ee32b168cdd4775ee8f33e40e89fb3b153997 (diff) | |
| download | ghdl-5790c35aaa4e69e421367850e59cd676f1c54787.tar.gz ghdl-5790c35aaa4e69e421367850e59cd676f1c54787.tar.bz2 ghdl-5790c35aaa4e69e421367850e59cd676f1c54787.zip | |
psl-nfa-utils: move active state in merge_state.
Diffstat (limited to 'src/psl')
| -rw-r--r-- | src/psl/psl-nfas-utils.adb | 5 |
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; |