aboutsummaryrefslogtreecommitdiffstats
path: root/src/psl/psl-nfas-utils.adb
diff options
context:
space:
mode:
Diffstat (limited to 'src/psl/psl-nfas-utils.adb')
-rw-r--r--src/psl/psl-nfas-utils.adb6
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;