diff options
| author | Tristan Gingold <tgingold@free.fr> | 2021-04-15 07:24:57 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2021-04-15 07:24:57 +0200 |
| commit | e5cf1849821cec0f3340babf69c29929d1d25fca (patch) | |
| tree | 10b30e05c55dd99c97e22f77d026cd9af883d56e | |
| parent | db69b8f4bb4a27971774aa8ac2a93e10383a4b83 (diff) | |
| download | ghdl-e5cf1849821cec0f3340babf69c29929d1d25fca.tar.gz ghdl-e5cf1849821cec0f3340babf69c29929d1d25fca.tar.bz2 ghdl-e5cf1849821cec0f3340babf69c29929d1d25fca.zip | |
vhdl-canon_psl: handle imp_bool
| -rw-r--r-- | src/vhdl/vhdl-canon_psl.adb | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/vhdl/vhdl-canon_psl.adb b/src/vhdl/vhdl-canon_psl.adb index 391592be7..daffa2a42 100644 --- a/src/vhdl/vhdl-canon_psl.adb +++ b/src/vhdl/vhdl-canon_psl.adb @@ -27,11 +27,12 @@ package body Vhdl.Canon_PSL is begin case Get_Kind (Expr) is when N_HDL_Expr - | N_HDL_Bool => + | N_HDL_Bool => Canon_Extract_Sensitivity_Expression (Get_HDL_Node (Expr), Sensitivity_List); when N_And_Bool - | N_Or_Bool => + | N_Or_Bool + | N_Imp_Bool => Canon_Extract_Sensitivity (Get_Left (Expr), Sensitivity_List); Canon_Extract_Sensitivity (Get_Right (Expr), Sensitivity_List); when N_Not_Bool => |