From 5c5987d671ed390b0965c95f5744d86356a02ddf Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Fri, 24 May 2019 18:19:33 +0200
Subject: psl: can keep parenthesis during parse.

---
 src/psl/psl-nodes.adb | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

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

diff --git a/src/psl/psl-nodes.adb b/src/psl/psl-nodes.adb
index d7de320a8..99b449d22 100644
--- a/src/psl/psl-nodes.adb
+++ b/src/psl/psl-nodes.adb
@@ -325,6 +325,7 @@ package body PSL.Nodes is
       case Get_Kind (N) is
          when N_And_Prop
            | N_Or_Prop
+           | N_Paren_Prop
            | N_Log_Imp_Prop
            | N_Always
            | N_Never
@@ -372,7 +373,8 @@ package body PSL.Nodes is
            | N_Imp_Bool
            | N_False
            | N_True
-           | N_Boolean_Parameter =>
+           | N_Boolean_Parameter
+           | N_Paren_Bool =>
             return Type_Boolean;
          when N_Number
            | N_Const_Parameter =>
@@ -439,6 +441,7 @@ package body PSL.Nodes is
            | N_Before
            | N_Or_Prop
            | N_And_Prop
+           | N_Paren_Prop
            | N_Braced_SERE
            | N_Concat_SERE
            | N_Fusion_SERE
@@ -451,6 +454,7 @@ package body PSL.Nodes is
            | N_Goto_Repeat_Seq
            | N_Plus_Repeat_Seq
            | N_Equal_Repeat_Seq
+           | N_Paren_Bool
            | N_Not_Bool
            | N_And_Bool
            | N_Or_Bool
-- 
cgit v1.2.3