diff options
author | Tristan Gingold <tgingold@free.fr> | 2019-10-21 19:28:08 +0200 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2019-10-21 19:28:08 +0200 |
commit | 4894a7e85b327c24e26545b3a76d36b8bf7ef8d9 (patch) | |
tree | ecf6bc7bd96fa44980b9a566a4c42acafe62f0f0 | |
parent | 12c91fa8d3ff3a601d77f3eb22e826e4612e5be6 (diff) | |
download | ghdl-4894a7e85b327c24e26545b3a76d36b8bf7ef8d9.tar.gz ghdl-4894a7e85b327c24e26545b3a76d36b8bf7ef8d9.tar.bz2 ghdl-4894a7e85b327c24e26545b3a76d36b8bf7ef8d9.zip |
psl-nfas-utils: reuse True_Node.
-rw-r--r-- | src/psl/psl-nfas-utils.adb | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/psl/psl-nfas-utils.adb b/src/psl/psl-nfas-utils.adb index a773b0702..45a5e7942 100644 --- a/src/psl/psl-nfas-utils.adb +++ b/src/psl/psl-nfas-utils.adb @@ -361,16 +361,14 @@ package body PSL.NFAs.Utils is if Get_Kind (Expr) = N_True then return; end if; - Expr := Create_Node (N_True); - Set_Edge_Expr (E, Expr); + Set_Edge_Expr (E, True_Node); return; end if; E := Get_Next_Src_Edge (E); end loop; -- No existing edge. Create one. - Expr := Create_Node (N_True); - Add_Edge (Start, Start, Expr); + Add_Edge (Start, Start, True_Node); end Set_Init_Loop; end PSL.NFAs.Utils; |