diff options
Diffstat (limited to 'src/psl/psl-rewrites.adb')
-rw-r--r-- | src/psl/psl-rewrites.adb | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/psl/psl-rewrites.adb b/src/psl/psl-rewrites.adb index e06ddd323..35bce015d 100644 --- a/src/psl/psl-rewrites.adb +++ b/src/psl/psl-rewrites.adb @@ -109,6 +109,8 @@ package body PSL.Rewrites is Set_Right (N, Rewrite_Boolean (Get_Right (N))); return N; when N_HDL_Expr => + return Get_HDL_Hash (N); + when N_HDL_Bool => return N; when others => Error_Kind ("rewrite_boolean", N); |