diff options
Diffstat (limited to 'src')
| -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; |