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.in | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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

diff --git a/src/psl/psl-nodes.adb.in b/src/psl/psl-nodes.adb.in
index 220ffee71..3c7888800 100644
--- a/src/psl/psl-nodes.adb.in
+++ b/src/psl/psl-nodes.adb.in
@@ -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 =>
-- 
cgit v1.2.3