diff options
| author | Tristan Gingold <tgingold@free.fr> | 2020-03-13 06:29:08 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2020-03-13 06:30:37 +0100 |
| commit | 8b062ed9ee5107400d176d703dd8bb22eaf0138e (patch) | |
| tree | 4d3f6f5e0b3ef97e85676fe127ac6d517f5d2897 | |
| parent | a704fa44c74d939650673bbf26de67d8e27e7bda (diff) | |
| download | ghdl-8b062ed9ee5107400d176d703dd8bb22eaf0138e.tar.gz ghdl-8b062ed9ee5107400d176d703dd8bb22eaf0138e.tar.bz2 ghdl-8b062ed9ee5107400d176d703dd8bb22eaf0138e.zip | |
psl-rewrites: handle N_Paren_Prop (simply discard).
| -rw-r--r-- | src/psl/psl-rewrites.adb | 3 |
1 files changed, 3 insertions, 0 deletions
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; |