From d70084ccb149ff4f5fca072c672b1f3d040358a9 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Wed, 11 Mar 2020 21:09:39 +0100
Subject: psl: keep denoting names in the PSL ast.

---
 src/psl/psl-hash.adb | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/psl/psl-hash.adb')

diff --git a/src/psl/psl-hash.adb b/src/psl/psl-hash.adb
index b2bdccc79..89394c97d 100644
--- a/src/psl/psl-hash.adb
+++ b/src/psl/psl-hash.adb
@@ -53,7 +53,7 @@ package body PSL.Hash is
       --  In the primary table.
       Res := Cells.Table (Idx).Res;
       if Res = Null_Node then
-         Res := Create_Node (N_HDL_Expr);
+         Res := Create_Node (N_HDL_Bool);
          Set_HDL_Node (Res, Hdl);
          Cells.Table (Idx).Res := Res;
          return Res;
@@ -69,7 +69,7 @@ package body PSL.Hash is
          Idx := N_Idx;
          Res := Cells.Table (Idx).Res;
       end loop;
-      Res := Create_Node (N_HDL_Expr);
+      Res := Create_Node (N_HDL_Bool);
       Set_HDL_Node (Res, Hdl);
       Cells.Append ((Res => Res, Next => No_Index));
       Cells.Table (Idx).Next := Cells.Last;
-- 
cgit v1.2.3