diff options
| -rw-r--r-- | src/vhdl/sem_psl.adb | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/vhdl/sem_psl.adb b/src/vhdl/sem_psl.adb index 5e5b3d3c5..2ba69df4c 100644 --- a/src/vhdl/sem_psl.adb +++ b/src/vhdl/sem_psl.adb @@ -27,6 +27,7 @@ with Sem_Scopes; with Sem_Names; with Std_Names; with Iirs_Utils; use Iirs_Utils; +with Evaluation; use Evaluation; with Std_Package; with Ieee.Std_Logic_1164; with Errorout; use Errorout; @@ -575,6 +576,7 @@ package body Sem_Psl is then Cond := Sem_Expr.Insert_Condition_Operator (Cond); end if; + Cond := Eval_Expr_If_Static (Cond); Set_Assertion_Condition (Res, Cond); Set_Label (Res, Get_Label (Stmt)); Set_Severity_Expression (Res, Get_Severity_Expression (Stmt)); |