diff options
| author | Tristan Gingold <tgingold@free.fr> | 2022-08-03 06:56:57 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2022-08-03 06:56:57 +0200 |
| commit | 7edca40761c6f87878367d53037a5a0dea2117ef (patch) | |
| tree | e132e754bef8eae264212efe7c8903aacde6cf95 /src/psl/psl-build.ads | |
| parent | 4489329672d1e3b48a9784cd60bced769204ddc4 (diff) | |
| download | ghdl-7edca40761c6f87878367d53037a5a0dea2117ef.tar.gz ghdl-7edca40761c6f87878367d53037a5a0dea2117ef.tar.bz2 ghdl-7edca40761c6f87878367d53037a5a0dea2117ef.zip | |
psl-build.adb: disable incorrect optimization. Fix #2157
Diffstat (limited to 'src/psl/psl-build.ads')
| -rw-r--r-- | src/psl/psl-build.ads | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/psl/psl-build.ads b/src/psl/psl-build.ads index 9a2d05073..cf5053116 100644 --- a/src/psl/psl-build.ads +++ b/src/psl/psl-build.ads @@ -17,7 +17,7 @@ with PSL.Nodes; use PSL.Nodes; package PSL.Build is - Optimize_Final : Boolean := True; + Optimize_Final : constant Boolean := True; function Build_SERE_FA (N : Node) return NFA; function Build_FA (N : Node) return NFA; |