From 8b062ed9ee5107400d176d703dd8bb22eaf0138e Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Fri, 13 Mar 2020 06:29:08 +0100
Subject: psl-rewrites: handle N_Paren_Prop (simply discard).

---
 src/psl/psl-rewrites.adb | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/psl')

diff --git a/src/psl/psl-rewrites.adb b/src/psl/psl-rewrites.adb
index 35bce015d..33c41697f 100644
--- a/src/psl/psl-rewrites.adb
+++ b/src/psl/psl-rewrites.adb
@@ -588,6 +588,9 @@ package body PSL.Rewrites is
          when N_Property_Instance =>
             Rewrite_Instance (N);
             return N;
+         when N_Paren_Prop =>
+            --  Note: discard it.
+            return Rewrite_Property (Get_Property (N));
          when others =>
             Error_Kind ("rewrite_property", N);
       end case;
-- 
cgit v1.2.3