diff options
Diffstat (limited to 'src/psl/psl-nfas-utils.adb')
-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; |