From 4894a7e85b327c24e26545b3a76d36b8bf7ef8d9 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Mon, 21 Oct 2019 19:28:08 +0200
Subject: psl-nfas-utils: reuse True_Node.

---
 src/psl/psl-nfas-utils.adb | 6 ++----
 1 file 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;
-- 
cgit v1.2.3