From 514ed1a88aaf09c19e8f4bb8fb4bf385a834b61e Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Tue, 31 Jan 2023 19:23:42 +0100
Subject: psl-build: fix fusion with epsilon.  Fix #2336

---
 src/psl/psl-build.adb | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src')

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);
-- 
cgit v1.2.3