aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--src/psl/psl-build.adb1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/psl/psl-build.adb b/src/psl/psl-build.adb
index 704920303..0609c7405 100644
--- a/src/psl/psl-build.adb
+++ b/src/psl/psl-build.adb
@@ -405,6 +405,7 @@ package body PSL.Build is
S := Add_State (Res);
Set_Start_State (Res, S);
Set_Final_State (Res, S);
+ Set_Epsilon_NFA (Res, True);
return Res;
end if;
Res := Build_SERE_FA (Seq);