diff options
| author | Tristan Gingold <tgingold@free.fr> | 2023-01-31 19:23:42 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2023-01-31 20:27:03 +0100 |
| commit | 514ed1a88aaf09c19e8f4bb8fb4bf385a834b61e (patch) | |
| tree | ea604e9eed73a37d8dabdebc86ea8fb9d219f2b4 /src/psl | |
| parent | 2b465653949cfa20e198a10e261307e7842acd1a (diff) | |
| download | ghdl-514ed1a88aaf09c19e8f4bb8fb4bf385a834b61e.tar.gz ghdl-514ed1a88aaf09c19e8f4bb8fb4bf385a834b61e.tar.bz2 ghdl-514ed1a88aaf09c19e8f4bb8fb4bf385a834b61e.zip | |
psl-build: fix fusion with epsilon. Fix #2336
Diffstat (limited to 'src/psl')
| -rw-r--r-- | src/psl/psl-build.adb | 1 |
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); |