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;