diff options
Diffstat (limited to 'src/psl/psl-build.adb')
-rw-r--r-- | src/psl/psl-build.adb | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/psl/psl-build.adb b/src/psl/psl-build.adb index 02c4961ff..41d9a4d79 100644 --- a/src/psl/psl-build.adb +++ b/src/psl/psl-build.adb @@ -1061,7 +1061,9 @@ package body PSL.Build is pragma Debug (Check_NFA (Res)); Remove_Unreachable_States (Res); - Remove_Simple_Prefix (Res); + if Has_Loop_On_Start (Res) then + Remove_Simple_Prefix (Res); + end if; Merge_Identical_States (Res); Merge_Edges (Res); end if; |